( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Strategy-Controlled Rewriting Systems (System Description).

, , , и . FSCD, том 131 из LIPIcs, стр. 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Martí Bayer-Raich

Miguel García Martí

Miguel García Martí

Beatriz Pérez Martí

Lluís Martí Magro

 

Другие публикации лиц с тем же именем

Formalizing and Proving Semantic Relations between Specifications by Reflection., , и . AMAST, том 3116 из Lecture Notes in Computer Science, стр. 72-86. Springer, (2004)A Complete Declarative Debugger for Maude., , и . AMAST, том 6486 из Lecture Notes in Computer Science, стр. 216-225. Springer, (2010)Strategies and simulations in a semantic framework., , и . J. Algorithms, 62 (3-4): 95-116 (2007)An Introduction to Maude and Some of Its Applications.. PADL, том 5937 из Lecture Notes in Computer Science, стр. 4-9. Springer, (2010)Declarative Debugging of Missing Answers for Maude., , и . RTA, том 6 из LIPIcs, стр. 277-294. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Preface., и . Theor. Comput. Sci., 285 (2): 119-120 (2002)Compositional specification in rewriting logic., , и . CoRR, (2019)B Maude: A formal executable environment for Abstract Machine Notation Descriptions., и . CoRR, (2021)From Petri Nets to Linear Logic through Categories: A Survey., и . Int. J. Found. Comput. Sci., 2 (4): 297-399 (1991)Simulating and model checking membrane systems using strategies in Maude., , , и . J. Log. Algebraic Methods Program., (2022)