Twenty Years of Rewriting Logic

DOI10.1007/978-3-642-16310-4_2zbMath1306.68082OpenAlexW2175934637MaRDI QIDQ4933275

José Meseguer

Publication date: 12 October 2010

Published in: Rewriting Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16310-4_2

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (2)

Principles of proof scores in CafeOBJ ⋮ Automated deduction and knowledge management in geometry

Uses Software

• Maude

This page was built for publication: Twenty Years of Rewriting Logic