scientific article; zbMATH DE number 1342254

zbMath0940.68069MaRDI QIDQ4263840

José Meseguer

Publication date: 22 September 1999

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

rewriting logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Grammars and rewriting systems (68Q42)

Related Items

A complete semantics of \(\mathbb{K}\) and its translation to Isabelle, Rewriting logic: Roadmap and bibliography, Unnamed Item, Unnamed Item, Maude: specification and programming in rewriting logic, Specification of real-time and hybrid systems in rewriting logic, Two case studies of semantics execution in Maude: CCS and LOTOS

Uses Software

• ELAN
• OBJ3