( en | de | ru )

 

Disambiguierung von "Courcelle, Bruno"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On defining linear orders by automata

, , und . Moscow Journal of Combinatorics and Number Theory, 9 (3): 253-291 (2020)Preprint: <a href="https://hal.archives-ouvertes.fr/hal-02397982/">Link</a><br>#journal.
DOI: 10.2140/moscow.2020.9.253

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

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)Définitions Récursives Par Cas., und . RAIRO Theor. Informatics Appl., 18 (2): 91-129 (1984)Handle-Rewriting Hypergraph Grammars., , und . J. Comput. Syst. Sci., 46 (2): 218-270 (1993)Automata for the verification of monadic second-order graph properties., und . J. Appl. Log., 10 (4): 368-409 (2012)Logic and graphs.. SEGRAGRA, Volume 2 von Electronic Notes in Theoretical Computer Science, Seite 71-72. Elsevier, (1995)Proofs of Partial Correctness for Attribute Grammars with Application to Recursive Procedures and Logic Programming, und . Information and Computation, 78 (1): 1--55 (Juli 1988)Infinite Transducers on Terms Denoting Graphs., und . ELS, Seite 47-58. ELSAA, (2013)Program Equivalence and Canonical Forms in Stable Discrete Interpretations., und . ICALP, Seite 168-188. Edinburgh University Press, (1976)An Algebraic Formalism for Graphs., und . CAAP, Volume 214 von Lecture Notes in Computer Science, Seite 74-84. Springer, (1986)Semantical Evaluations as Monadic Second-Order Compatible Structure Transformations.. FoSSaCS, Volume 2303 von Lecture Notes in Computer Science, Seite 1-4. Springer, (2002)