A simple abstract semantics for equational theories

DOI10.1007/3-540-60249-6_45OpenAlexW1602322640MaRDI QIDQ5055883

Gilles Barthe

Publication date: 9 December 2022

Published in: Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60249-6_45

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Categorical logic, topoi (03G30)

Related Items (1)

A simple abstract semantics for equational theories

Cites Work

• Unnamed Item
• Unnamed Item
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Instantiation theory. On the foundations of automated deduction
• Computational aspects of an order-sorted logic with term declarations
• An Oxford survey of order sorted algebra
• A simple abstract semantics for equational theories
• Composita, Equations, and Freely Generated Algebras

This page was built for publication: A simple abstract semantics for equational theories