PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Pfenning, Frank"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Coverage Checking Algorithm for LF.

, und . TPHOLs, Volume 2758 von Lecture Notes in Computer Science, Seite 120-135. Springer, (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.

Hon. -Prof. Dr. Uwe Pfenning University of Stuttgart

Juhan Frank

Dr. rer. nat. Bettina Frank University of Stuttgart

Lukas Frank University of Stuttgart

Daniel Frank University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Using Constrained Intuitionistic Linear Logic for Hybrid Robotic Planning Problems., und . ICRA, Seite 3705-3710. IEEE, (2007)Automated techniques for provably safe mobile code., , , , und . Theor. Comput. Sci., 290 (2): 1175-1199 (2003)Editorial., , und . ACM Trans. Comput. Log., 3 (3): 335-335 (2002)Contextual modal type theory., , und . ACM Trans. Comput. Log., 9 (3): 23:1-23:49 (2008)The Practice of Logical Frameworks.. CAAP, Volume 1059 von Lecture Notes in Computer Science, Seite 119-134. Springer, (1996)Mode and Termination Checking for Higher-Order Logic Programs., und . ESOP, Volume 1058 von Lecture Notes in Computer Science, Seite 296-310. Springer, (1996)Manifest Deadlock-Freedom for Shared Session Types., , und . ESOP, Volume 11423 von Lecture Notes in Computer Science, Seite 611-639. Springer, (2019)Tutorial on Lambda-Prolog., , , und . CADE, Volume 449 von Lecture Notes in Computer Science, Seite 682. Springer, (1990)A Logical Characterization of Forward and Backward Chaining in the Inverse Method., , und . IJCAR, Volume 4130 von Lecture Notes in Computer Science, Seite 97-111. Springer, (2006)On a Logical Foundation for Explicit Substitutions.. RTA, Volume 4533 von Lecture Notes in Computer Science, Seite 19. Springer, (2007)