Equational logics (birkhoff's method revisited)

DOI10.1007/3-540-54317-1_108MaRDI QIDQ5881300zbMATH OpenOpenAlexFDO

Authors Yong Sun

Publication date 9 March 2023

Published in Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-54317-1_108

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65)

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3970817 (Why is no real title available?)
• scientific article; zbMATH DE number 3751028 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3639689 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Model theory

This page was built for publication: Equational logics (birkhoff's method revisited)

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