Вы здесь

Главная

proof theory

Связанные издания:

Rules on the Web: From Theory to Applications: Proc./8th International Symposium, RuleML 2014 Co-located with the 21st European Conference ECAI 2014, Prague, Czech Republic, August 2014
Typed Lambda Calculi and Applications: Proc./9th International Conference, TLCA 2009, Brasilia, Brazil, July 2009
Types for Proofs and Programs: Revised Selected Papers/ International Conference, TYPES 2008, Toronto, Italy, March 2008