( en | de | ru )

 

Disambiguierung von "Verdejo, Alberto"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Model Checking Strategy-Controlled Rewriting Systems (System Description).

, , , und . FSCD, Volume 131 von LIPIcs, Seite 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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.

Alberto Moreira

Alberto Coda

Alberto Ricco

Alberto Moreira

Alberto Moreira

 

Weitere Publikationen von Autoren mit dem selben Namen

Executable structural operational semantics in Maude, und . Journal of Logic and Algebraic Programming, 67 (1-2): 226--293 (2006)Declarative Debugging of Membership Equational Logic Specifications., , , und . Concurrency, Graphs and Models, Volume 5065 von Lecture Notes in Computer Science, Seite 174-193. Springer, (2008)A Declarative Debugger for Maude., , , und . AMAST, Volume 5140 von Lecture Notes in Computer Science, Seite 116-121. Springer, (2008)QMaude: Quantitative Specification and Verification in Rewriting Logic., , , und . FM, Volume 14000 von Lecture Notes in Computer Science, Seite 240-259. Springer, (2023)Implementing CCS in Maude., und . FORTE, Volume 183 von IFIP Conference Proceedings, Seite 351-366. Kluwer, (2000)Enhancing the Debugging of Maude Specifications., , und . WRLA, Volume 6381 von Lecture Notes in Computer Science, Seite 226-242. Springer, (2010)Simplifying Questions in Maude Declarative Debugger by Transforming Proof Trees., , , und . LOPSTR, Volume 7225 von Lecture Notes in Computer Science, Seite 73-89. Springer, (2011)Model Checking TLR* Guarantee Formulas on Infinite Systems., , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 129-150. Springer, (2014)Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude., , und . DCAI, Volume 50 von Advances in Soft Computing, Seite 424-433. Springer, (2008)Parameterized Programming for Compositional System Specification., , und . WRLA@ETAPS, Volume 11152 von Lecture Notes in Computer Science, Seite 59-75. Springer, (2018)