( en | de | ru )

 

Disambiguierung von "Pfenning, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Relating Message Passing and Shared Memory, Proof-Theoretically.

, und . COORDINATION, Volume 13908 von Lecture Notes in Computer Science, Seite 3-27. Springer, (2023)

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

Astrid Pfenning

Edith Pfenning

 

Weitere Publikationen von Autoren mit dem selben Namen

Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization., und . ML, Seite 447-449. Morgan Kaufmann, (1989)A Modal Analysis of Staged Computation., und . POPL, Seite 258-270. ACM Press, (1996)On equivalence and canonical forms in the LF type theory, und . ACM Trans. Comput. Logic, 6 (1): 61-101 (2005)A Declarative Alternative to Ässert" in Logic Programming., und . ISLP, Seite 372-386. MIT Press, (1991)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)Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).. APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 196. Springer, (2004)Natural Deduction for Intuitionistic Non-communicative Linear Logic., und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 295-309. Springer, (1999)