Introduction to the special issue: Unification

DOI10.1017/S0960129520000237MaRDI QIDQ5139275zbMATH OpenFDO

Authors

Publication date 8 December 2020

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129520000237

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Mechanization of proofs and logical operations (03B35) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Grammars and rewriting systems (68Q42)

Recommendations

• Preface
• Unification: a multidisciplinary survey
• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 4155934
• Model-theoretic aspects of unification

Cited in

(1)

• scientific article; zbMATH DE number 4016225 (Why is no real title available?)

This page was built for publication: Introduction to the special issue: Unification

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