( en | de | ru )

 

Disambiguierung von "Baillot, Patrick"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Elementary Complexity and Geometry of Interaction.

, und . Fundam. Informaticae, 45 (1-2): 1-31 (2001)

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.

Armin Baillot

Gunther Baillot

Patrick Pfeffer

Optimiertes Design kombinatorischer Verbindungsbibliotheken durch genetische Algorithmen und deren Bewertung anhand wissensbasierter Protein-Ligand-Bindungsprofile. Uni Marburg, (2009)

Patrick Hansen

Entwicklung eines energetischen Sanierungsmodells für den europäischen Wohngebäudesektor unter dem Aspekt der Erstellung von Szenarien für Energie- und Co_1tn2-Einsparpotenziale bis 2030. Uni Siegen, (2009)

Patrick Obenauer

 

Weitere Publikationen von Autoren mit dem selben Namen

Characterizing Polynomial and Exponential Complexity Classes in Elementary Lambda-Calculus., , und . IFIP TCS, Volume 8705 von Lecture Notes in Computer Science, Seite 151-163. Springer, (2014)Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic., , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 150-166. Springer, (2006)Timeless Games., , , und . CSL, Volume 1414 von Lecture Notes in Computer Science, Seite 56-77. Springer, (1997)On Quasi-Interpretations, Blind Abstractions and Implicit Complexity, , und . CoRR, (2006)Type inference in intuitionistic linear logic., und . PPDP, Seite 219-230. ACM, (2010)Elementary Complexity and Geometry of Interaction., und . TLCA, Volume 1581 von Lecture Notes in Computer Science, Seite 25-39. Springer, (1999)Light Logics and Optimal Reduction: Completeness and Complexity., , und . LICS, Seite 421-430. IEEE Computer Society, (2007)An Embedding of the BSS Model of Computation in Light Affine Lambda-Calculus, und . CoRR, (2006)Higher-Order Interpretations and Program Complexity., und . CSL, Volume 16 von LIPIcs, Seite 62-76. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic Proofs., , und . LPAR, Volume 9450 von Lecture Notes in Computer Science, Seite 203-218. Springer, (2015)