( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Substructural Proofs as Automata.

, и . APLAS, том 10017 из Lecture Notes in Computer Science, стр. 3-22. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Andreas Pfenning

Ruthard Pfenning

Carolin Pfenning

Edith Pfenning

Astrid Pfenning

 

Другие публикации лиц с тем же именем

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., и . ML, стр. 447-449. Morgan Kaufmann, (1989)On equivalence and canonical forms in the LF type theory, и . ACM Trans. Comput. Logic, 6 (1): 61-101 (2005)A Declarative Alternative to Ässert" in Logic Programming., и . ISLP, стр. 372-386. MIT Press, (1991)A Modal Analysis of Staged Computation., и . POPL, стр. 258-270. ACM Press, (1996)Functions as Session-Typed Processes., , и . FoSSaCS, том 7213 из Lecture Notes in Computer Science, стр. 346-360. Springer, (2012)Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).. APLAS, том 3302 из Lecture Notes in Computer Science, стр. 196. Springer, (2004)Natural Semantics and Some of Its Meta-Theory in Elf., и . ELP, том 596 из Lecture Notes in Computer Science, стр. 299-344. Springer, (1991)Natural Deduction for Intuitionistic Non-communicative Linear Logic., и . TLCA, том 1581 из Lecture Notes in Computer Science, стр. 295-309. Springer, (1999)Single Axioms in the Implicational Propositional Calculus.. CADE, том 310 из Lecture Notes in Computer Science, стр. 710-713. Springer, (1988)System Description: Twelf - A Meta-Logical Framework for Deductive Systems., и . CADE, том 1632 из Lecture Notes in Computer Science, стр. 202-206. Springer, (1999)