( en | de | ru )

 

Disambiguierung von "Courcelle, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fly-automata, model-checking and recognizability.

, und . CoRR, (2014)

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.

Horst Bruno

Horst Bruno

Eugen Bruno

Armin Bruno

Axel Brunold

 

Weitere Publikationen von Autoren mit dem selben Namen

Infinite Transducers on Terms Denoting Graphs., und . ELS, Seite 47-58. ELSAA, (2013)The Monadic Second-Order Logic of Graphs VIII: Orientations.. Ann. Pure Appl. Log., 72 (2): 103-143 (1995)The Monadic Second-Order Logic of Graphs IV: Definability Properties of Equational Graphs.. Ann. Pure Appl. Log., 49 (3): 193-255 (1990)Special tree-width and the verification of monadic second-order graph pr operties.. FSTTCS, Volume 8 von LIPIcs, Seite 13-29. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Connectivity check in 3-connected planar graphs with obstacles., , , und . Electron. Notes Discret. Math., (2008)Fly-automata for checking monadic second-order properties of graphs of bounded tree-width.. Electron. Notes Discret. Math., (2015)Recognizable Sets of Graphs: Equivalent Definitions and Closure Properties.. Math. Struct. Comput. Sci., 4 (1): 1-32 (1994)Définitions Récursives Par Cas., und . RAIRO Theor. Informatics Appl., 18 (2): 91-129 (1984)The solution of two star height problems for regular trees., und . Automata on Infinite Words, Volume 192 von Lecture Notes in Computer Science, Seite 108-117. Springer, (1984)The monadic second-order logic of graphs XIV: uniformly sparse graphs and edge set quantifications.. Theor. Comput. Sci., 299 (1-3): 1-36 (2003)