Comparing Meseguer's Rewriting Logic with the Logic CRWL

DOI10.1016/S1571-0661(04)80354-2zbMath1268.68103MaRDI QIDQ2841300

Miguel Palomino Tarjuelo

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (5)

Rewriting logic: Roadmap and bibliography ⋮ Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic ⋮ A new generic scheme for functional logic programming with constraints ⋮ Unnamed Item ⋮ Comparing Meseguer's Rewriting Logic with the Logic CRWL

Uses Software

• Maude

Cites Work

• Conditional rewriting logic as a unified model of concurrency
• Maude: specification and programming in rewriting logic
• Reflection in conditional rewriting logic
• Logical foundations of CafeOBJ
• Comparing Meseguer's Rewriting Logic with the Logic CRWL
• Institutions: abstract model theory for specification and programming
• An approach to declarative programming based on a rewriting logic
• Subequalizers
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Comparing Meseguer's Rewriting Logic with the Logic CRWL