( en | de | ru )

 

Disambiguierung von "Durand, Irène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Partial Evaluation of an Intermediate Language for Equational Programs.

, , und . JTASPEFT/WSA, Volume 74 von Series Bigre, Seite 98-106. Atelier Irisa, IRISA, Campus de Beaulieu, (1991)

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)Model-Checking by Infinite Fly-Automata., und . CAI, Volume 8080 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2013)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)Verifying Monadic Second Order Graph Properties with Tree Automata., und . ELS, Seite 7-21. ELSAA, (2010)A unified algorithm for colouring graphs of bounded clique-width., , und . (2020)http://arxiv.org/abs/2008.07468.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)Incremental Parsing of Common Lisp Code., und . ELS, Seite 16-22. ELSAA, (2018)