A Framework for Order-Sorted Algebra

DOI10.1007/3-540-45719-4_27zbMath1275.08002OpenAlexW1890228468MaRDI QIDQ2996140

John G. Stell

Publication date: 6 May 2011

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-45719-4_27

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Theories (e.g., algebraic theories), structure, and semantics (18C10) Partial algebras (08A55)

This page was built for publication: A Framework for Order-Sorted Algebra