( en | de | ru )

 

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. Informaticae, 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.

Davide Zilli

Elisa Venturini

Francesca Venturini

Francesca Venturini

Maurizio Venturini

 

Weitere Publikationen von Autoren mit dem selben Namen

Cofinality in Reduction Graphs.. CAAP, Volume 159 von Lecture Notes in Computer Science, Seite 405-416. Springer, (1983)A Theory of Computation with an Identity Discriminator., und . ICALP, Seite 147-167. Edinburgh University Press, (1976)Synchronized regular expressions., , , und . Acta Inf., 39 (1): 31-70 (2003)Exploiting transition locality in automatic verification of finite-state concurrent systems., , , , und . Int. J. Softw. Tools Technol. Transf., 6 (4): 320-341 (2004)Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier., , , , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 394-409. Springer, (2003)Integrating RAM and Disk Based Verification within the Mur-phi Verifier., , , , und . CHARME, Volume 2860 von Lecture Notes in Computer Science, Seite 277-282. Springer, (2003)Net Algebras on Process Algebras.. Elektronische Informationsverarbeitung und Kybernetik, 26 (4): 201-212 (1990)Complexity of theorem-proving procedures : some general properties., und . RAIRO Theor. Informatics Appl., 8 (3): 5-18 (1974)Generalizations of Unification., und . J. Symb. Comput., 16 (5): 479-491 (1993)A Probabilistic Approach to Automatic Verification of Concurrent Systems., , , und . APSEC, Seite 317-324. IEEE Computer Society, (2001)