( en | de | ru )

 

Disambiguierung von "Lautemann, Clemens"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Some modifications of auxiliary pushdown automata.

, , , und . RAIRO Theor. Informatics Appl., (1991)

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.

Clemens Lautemann

Wolfgang Lautemann

Nico Lautemann

Willi Lautemann

Willi Lautemann

 

Weitere Publikationen von Autoren mit dem selben Namen

Logical Definability of NP-Optimization Problems with Monadic Auxiliary Predicates.. CSL, Volume 702 von Lecture Notes in Computer Science, Seite 327-339. Springer, (1992)A simple proof of the polylog counting ability of first-order logic: guest column., , und . SIGACT News, 38 (4): 40-45 (2007)Decomposition Trees: Structured Graph Representation and Efficient Algorithms.. CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 28-39. Springer, (1988)Termination Proofs and the Length of Derivations (Preliminary Version)., und . RTA, Volume 355 von Lecture Notes in Computer Science, Seite 167-177. Springer, (1989)MonadicNLIN and Quantifier-Free Reductions., und . CSL, Volume 1683 von Lecture Notes in Computer Science, Seite 322-337. Springer, (1999)First-order expressibility of languages with neutral letters or: The Crane Beach conjecture., , , , und . J. Comput. Syst. Sci., 70 (2): 101-127 (2005)BPP and the Polynomial Hierarchy.. Inf. Process. Lett., 17 (4): 215-217 (1983)A note on polynomial interpretation.. Bulletin of the EATCS, (1988)Efficient Algorithms on Context-Free Graph Grammars.. ICALP, Volume 317 von Lecture Notes in Computer Science, Seite 362-378. Springer, (1988)An Algebraic Point of View on the Crane Beach Property., , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 426-440. Springer, (2006)