Symbolic Reasoning Methods in Rewriting Logic and Maude - researchr publication related

researchr

You are not signed in
Sign in
Sign up

José Meseguer. Symbolic Reasoning Methods in Rewriting Logic and Maude. In Lawrence S. Moss, Ruy J. G. B. de Queiroz, Maricarmen Martínez, editors, Logic, Language, Information, and Computation - 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings. Volume 10944 of Lecture Notes in Computer Science, pages 25-60, Springer, 2018. [doi]

The following publications are possibly variants of this publication:

Maude: specification and programming in rewriting logicManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada. TCS, 285(2):187-243, 2002. [doi]

Rewriting Logic and Maude: Concepts and ApplicationsJosé Meseguer. RTA 2000: 1-26

The Linear Temporal Logic of Rewriting Maude Model CheckerKyungmin Bae, José Meseguer. WRLA 2010: 208-225 [doi]

runs on WebDSL