Autor der Publikation

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

Some Desirable Conditions for Feasible Functionals of Type~2. LICS, Seite 320-331. IEEE Computer Society, (1993)RAM Simulation of BGS Model of Abstract State Machines., , und . Abstract State Machines, Seite 377-386. (2005)Global Reachability in Bounded Phase Multi-stack Pushdown Systems.. CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 615-628. Springer, (2010)Games on Higher Order Multi-stack Pushdown Systems.. RP, Volume 5797 von Lecture Notes in Computer Science, Seite 203-216. Springer, (2009)On Lk(Q) Types and Boundedness of IFP(Q) on Finite Structures.. ASIAN, Volume 1742 von Lecture Notes in Computer Science, Seite 334-346. Springer, (1999)An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems.. Int. J. Found. Comput. Sci., 19 (4): 983-998 (2008)A Multi-wavelength Study of the Turbulent Central Engine of the Low-mass AGN hosted by NGC404, , , , , , , , , und 2 andere Autor(en). (07.07.2017)Sharper Results on the Expressive Power of Generalized Quantifiers.. FSTTCS, Volume 1346 von Lecture Notes in Computer Science, Seite 200-219. Springer, (1997)Games on Multi-stack Pushdown Systems.. LFCS, Volume 5407 von Lecture Notes in Computer Science, Seite 395-408. Springer, (2009)There is No Recursive Axiomatization for Feasible Functionals of Type~2. LICS, Seite 286-295. IEEE Computer Society, (1992)