( en | de | ru )

 

Disambiguierung von "Sénizergues, Géraud"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Equations over Free Inverse Monoids with Idempotent Variables.

, , , und . CSR, Volume 9139 von Lecture Notes in Computer Science, Seite 173-188. Springer, (2015)

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.

Rémi Géraud

Cyrill Johannes Gildas Emanuel Géraud

 

Weitere Publikationen von Autoren mit dem selben Namen

Some Undecidable Termination Problems for Semi-Thue Systems (Abstract).. RTA, Volume 690 von Lecture Notes in Computer Science, Seite 434. Springer, (1993)Equations over Free Inverse Monoids with Idempotent Variables., , , und . CSR, Volume 9139 von Lecture Notes in Computer Science, Seite 173-188. Springer, (2015)Some Applications of the Decidability of DPDA's Equivalence.. MCU, Volume 2055 von Lecture Notes in Computer Science, Seite 114-132. Springer, (2001)A Polynomial Algorithm Testing Partial Confluence of Basic Semi-Thue Systems.. RTA, Volume 914 von Lecture Notes in Computer Science, Seite 194-209. Springer, (1995)On the Termination Problem for One-Rule Semi-Thue System.. RTA, Volume 1103 von Lecture Notes in Computer Science, Seite 302-316. Springer, (1996)An Effective Version of Stallings' Theorem in the Case of Context-Free Groups.. ICALP, Volume 700 von Lecture Notes in Computer Science, Seite 478-495. Springer, (1993)The Obstructions of a Minor-Closed Set of Graphs Defined by Hyperedge Replacement can be Constructed., und . TAGT, Volume 1073 von Lecture Notes in Computer Science, Seite 351-367. Springer, (1994)Iterated pushdown automata and sequences of rational numbers., und . Ann. Pure Appl. Log., 141 (3): 363-411 (2006)Decidability of Bisimulation Equivalence for Equational Graphs of Finite Out-Degree.. FOCS, Seite 120-129. IEEE Computer Society, (1998)Complete Formal Systems for Equivalence Problems.. MCU (1), Seite 22-49. IUT Metz, (1998)