( en | de | ru )

 

Disambiguierung von "Durand, Irène"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Autowrite: A Tool for Checking Properties of Term Rewriting Systems.

. RTA, Volume 2378 von Lecture Notes in Computer Science, Seite 371-375. Springer, (2002)

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

A unified algorithm for colouring graphs of bounded clique-width., , und . (2020)http://arxiv.org/abs/2008.07468.Autowrite: A Tool for Checking Properties of Term Rewriting Systems.. RTA, Volume 2378 von Lecture Notes in Computer Science, Seite 371-375. Springer, (2002)Model-Checking by Infinite Fly-Automata., und . CAI, Volume 8080 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2013)Verifying Monadic Second Order Graph Properties with Tree Automata., und . ELS, Seite 7-21. ELSAA, (2010)Termination of linear bounded term rewriting systems., , und . RTA, Volume 6 von LIPIcs, Seite 341-356. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)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)Incremental Parsing of Common Lisp Code., und . ELS, Seite 16-22. ELSAA, (2018)Résolution parallèle de sous-buts indépendants dans le graphe de connexion de R. Kowalski., , , , und . SPLT, Seite 553-570. (1986)Object Enumeration.. ELS, Seite 43-57. ELSAA, (2012)Removing Redundant Tests by Replicating Control Paths., und . ELS, Seite 106-112. ELSAA, (2017)