( en | de | ru )

 

Disambiguierung von "Martí-Oliet, Narciso"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rewriting logic and its applications.

. APPIA-GULP-PRODE, Seite 5-8. (1997)

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.

Martí Bayer-Raich

Miguel García Martí

Miguel García Martí

Beatriz Pérez Martí

Lluís Martí Magro

 

Weitere Publikationen von Autoren mit dem selben Namen

Strategies and simulations in a semantic framework., , und . J. Algorithms, 62 (3-4): 95-116 (2007)An Introduction to Maude and Some of Its Applications.. PADL, Volume 5937 von Lecture Notes in Computer Science, Seite 4-9. Springer, (2010)A Complete Declarative Debugger for Maude., , und . AMAST, Volume 6486 von Lecture Notes in Computer Science, Seite 216-225. Springer, (2010)Declarative Debugging of Missing Answers for Maude., , und . RTA, Volume 6 von LIPIcs, Seite 277-294. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Preface., und . Theor. Comput. Sci., 285 (2): 119-120 (2002)Compositional specification in rewriting logic., , und . CoRR, (2019)Two Case Studies of Semantics Execution in Maude: CCS and LOTOS., und . Formal Methods Syst. Des., 27 (1-2): 113-172 (2005)From Petri Nets to Linear Logic through Categories: A Survey., und . Int. J. Found. Comput. Sci., 2 (4): 297-399 (1991)Preface to SCP special issue with extended selected papers from SBMF 2014., und . Sci. Comput. Program., (2016)Simulating and model checking membrane systems using strategies in Maude., , , und . J. Log. Algebraic Methods Program., (2022)