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 (7)

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

This page was built for publication: