( en | de | ru )

 

Disambiguierung von "Durand, Irène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model-Checking by Infinite Fly-Automata.

, und . CAI, Volume 8080 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2013)

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.

Jacques Durand

Yves Durand

Jacques Durand

Guillaume Durand

Sylvain Durand

 

Weitere Publikationen von Autoren mit dem selben Namen

Call by need computations in orthogonal term rewriting systems.. (2005)Fly-automata, model-checking and recognizability., und . CoRR, (2014)Verifying Monadic Second Order Graph Properties with Tree Automata., und . ELS, Seite 7-21. ELSAA, (2010)Autowrite: A Tool for Checking Properties of Term Rewriting Systems.. RTA, Volume 2378 von Lecture Notes in Computer Science, Seite 371-375. Springer, (2002)Termination of linear bounded term rewriting systems., , und . RTA, Volume 6 von LIPIcs, Seite 341-356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)A unified algorithm for colouring graphs of bounded clique-width., , und . (2020)http://arxiv.org/abs/2008.07468.Model-Checking by Infinite Fly-Automata., und . CAI, Volume 8080 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2013)A Tool for Reasoning about Qualitative Temporal Information: the Theory of S-languages with a Lisp Implementation., und . J. Univers. Comput. Sci., 14 (20): 3282-3306 (2008)Decidable call-by-need computations in term rewriting., und . Inf. Comput., 196 (2): 95-126 (2005)Decidable Call by Need Computations in term Rewriting (Extended Abstract)., und . CADE, Volume 1249 von Lecture Notes in Computer Science, Seite 4-18. Springer, (1997)