( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
System Description: Twelf - A Meta-Logical Framework for Deductive Systems.

, и . CADE, том 1632 из Lecture Notes in Computer Science, стр. 202-206. Springer, (1999)

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

 

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

A Universal Session Type for Untyped Asynchronous Communication., , и . CONCUR, том 118 из LIPIcs, стр. 30:1-30:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., и . Mach. Learn., (1992)Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., и . ML, стр. 447-449. Morgan Kaufmann, (1989)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)Invited talk: Tri-Directional Type Checking.. ITRS, том 70 из Electronic Notes in Theoretical Computer Science, Elsevier, (2002)Towards a type theory of contexts.. MERLIN, стр. 1. ACM, (2005)A Focusing Inverse Method Theorem Prover for First-Order Linear Logic., и . CADE, том 3632 из Lecture Notes in Computer Science, стр. 69-83. Springer, (2005)Run-time Code Generation and Modal-ML., , и . PLDI, стр. 224-235. ACM, (1998)Higher-Order Abstract Syntax., и . PLDI, стр. 199-208. ACM, (1988)