( en | de | ru )

 

Disambiguierung von "Pfenning, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A type theory for memory allocation and data layout.

, , , und . POPL, Seite 172-184. ACM, (2003)ACM SIGPLAN Notices 38(1), January 2003.

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andreas Pfenning

Ruthard Pfenning

Carolin Pfenning

Edith Pfenning

Astrid Pfenning

 

Weitere Publikationen von Autoren mit dem selben Namen

A Declarative Alternative to Ässert" in Logic Programming., und . ISLP, Seite 372-386. MIT Press, (1991)Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., und . ML, Seite 447-449. Morgan Kaufmann, (1989)On equivalence and canonical forms in the LF type theory, und . ACM Trans. Comput. Logic, 6 (1): 61-101 (2005)Natural Semantics and Some of Its Meta-Theory in Elf., und . ELP, Volume 596 von Lecture Notes in Computer Science, Seite 299-344. Springer, (1991)Natural Deduction for Intuitionistic Non-communicative Linear Logic., und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 295-309. Springer, (1999)Functions as Session-Typed Processes., , und . FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 346-360. Springer, (2012)Imogen: Focusing the Polarized Inverse Method for Intuitionistic Propositional Logic., und . LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 174-181. Springer, (2008)Single Axioms in the Implicational Propositional Calculus.. CADE, Volume 310 von Lecture Notes in Computer Science, Seite 710-713. Springer, (1988)System Description: Twelf - A Meta-Logical Framework for Deductive Systems., und . CADE, Volume 1632 von Lecture Notes in Computer Science, Seite 202-206. Springer, (1999)Reasoning About Deductions in Linear Logic (Abstract of Invited Talk).. CADE, Volume 1421 von Lecture Notes in Computer Science, Seite 1-2. Springer, (1998)