( en | de | ru )

 

Disambiguierung von "Pfenning, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Manifest Deadlock-Freedom for Shared Session Types.

, , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)

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

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)A Declarative Alternative to Ässert" in Logic Programming., und . ISLP, Seite 372-386. MIT Press, (1991)A Modal Analysis of Staged Computation., und . POPL, Seite 258-270. ACM Press, (1996)Functions as Session-Typed Processes., , und . FoSSaCS, Volume 7213 von Lecture Notes in Computer Science, Seite 346-360. Springer, (2012)Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk).. APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 196. Springer, (2004)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)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)