Order-Sorted Equality Enrichments Modulo Axioms

DOI10.1007/978-3-642-34005-5_9zbMath1366.68185OpenAlexW2054013753MaRDI QIDQ3164835

José Meseguer, Camilo Rocha, Raúl Gutiérrez

Publication date: 16 October 2012

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

Full work available at URL: http://hdl.handle.net/10251/64704

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (1)

Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool

Uses Software

• Maude

This page was built for publication: Order-Sorted Equality Enrichments Modulo Axioms