Autor der Publikation

A Formalised Lower Bound on Undirected Graph Reachability.

. LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 621-635. Springer, (2008)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Computation by interaction for space-bounded functional programming., und . Inf. Comput., (2016)Modelling Generic Judgements.. Electron. Notes Theor. Comput. Sci., 174 (5): 19-35 (2007)Pointer Programs and Undirected Reachability., und . Electronic Colloquium on Computational Complexity (ECCC), (2008)Computation-by-Interaction with Effects.. APLAS, Volume 7078 von Lecture Notes in Computer Science, Seite 305-321. Springer, (2011)Particle-Style Geometry of Interaction as a Module System.. APLAS, Volume 11275 von Lecture Notes in Computer Science, Seite 202-222. Springer, (2018)Type Inference for Sublinear Space Functional Programming., und . APLAS, Volume 6461 von Lecture Notes in Computer Science, Seite 376-391. Springer, (2010)Pure Pointer Programs and Tree Isomorphism., , und . FoSSaCS, Volume 7794 von Lecture Notes in Computer Science, Seite 321-336. Springer, (2013)A Formalised Lower Bound on Undirected Graph Reachability.. LPAR, Volume 5330 von Lecture Notes in Computer Science, Seite 621-635. Springer, (2008)On Interaction, Continuations and Defunctionalization.. TLCA, Volume 7941 von Lecture Notes in Computer Science, Seite 205-220. Springer, (2013)Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes., und . FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 372-386. Springer, (2002)