PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Zilli, Marisa Venturini"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Comprehensive Setting for Matching and Unification over Iterative Terms.

, , und . Fundam. Inform., 39 (3): 273-304 (1999)

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.

Keine Personen gefunden für den Autorennamen Zilli, Marisa Venturini
Eine Person hinzufügen mit dem Namen Zilli, Marisa Venturini
 

Weitere Publikationen von Autoren mit dem selben Namen

Synchronized regular expressions., , , und . Acta Inf., 39 (1): 31-70 (2003)A Theory of Computation with an Identity Discriminator., und . ICALP, Seite 147-167. Edinburgh University Press, (1976)Exploiting transition locality in automatic verification of finite-state concurrent systems., , , , und . STTT, 6 (4): 320-341 (2004)Cofinality in Reduction Graphs.. CAAP, Volume 159 von Lecture Notes in Computer Science, Seite 405-416. Springer, (1983)Automatic Verification of a Turbogas Control System with the Mur varphi Verifier., , , , , , , und . HSCC, Volume 2623 von Lecture Notes in Computer Science, Seite 141-155. Springer, (2003)Rational Rewriting., und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 433-442. Springer, (1994)Exploiting Transition Locality in Automatic Verification., , , und . CHARME, Volume 2144 von Lecture Notes in Computer Science, Seite 259-274. Springer, (2001)A model with nondeterministic computation.. Lambda-Calculus and Computer Science Theory, Volume 37 von Lecture Notes in Computer Science, Seite 287-296. Springer, (1975)Reduction Graphs in the Lambda Calculus.. Theor. Comput. Sci., (1984)A Comprehensive Setting for Matching and Unification over Iterative Terms., , und . Fundam. Inform., 39 (3): 273-304 (1999)