A simple abstract semantics for equational theories

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

Authors: 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

Recommendations

• scientific article; zbMATH DE number 4039263
• scientific article; zbMATH DE number 3949706
• scientific article; zbMATH DE number 3918620
• Unique-sort order-sorted theories : A description as monad morphisms
• scientific article; zbMATH DE number 176160

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Automated Deduction – CADE-19
• Just do it
• Theories with equational forking
• A simple abstract semantics for equational theories
• Title not available (Why is that?)
• A note on equational theories
• An equational metalogic for monadic equational systems
• Title not available (Why is that?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055883)