E-unification based on generalized embedding

DOI10.1017/S0960129522000019MaRDI QIDQ5084482zbMATH OpenOpenAlexFDO

Authors

Publication date 24 June 2022

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

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

zbMATH Keywords

orderinguniversal algebraequational theoryunification theory\(E\)-unification(homeomorphic) embedded \(E\)-unifiersessential unificationpure \(E\)-unifiers

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Applications of universal algebra in computer science (08A70)

Recommendations

• What is essential unification?
• Essential unifiers
• scientific article; zbMATH DE number 3858458
• scientific article; zbMATH DE number 3871321
• scientific article; zbMATH DE number 3867289

Cites work

• scientific article; zbMATH DE number 8327 (Why is no real title available?)
• scientific article; zbMATH DE number 475429 (Why is no real title available?)
• scientific article; zbMATH DE number 1953286 (Why is no real title available?)
• scientific article; zbMATH DE number 3198033 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A note on unification type zero
• E-unification based on generalized embedding
• Essential unifiers
• Exact unification and admissibility
• Martin Davis on computability, computational logic, and mathematical foundations
• Ordering by Divisibility in Abstract Algebras
• Orderings for term-rewriting systems
• Partial evaluation of order-sorted equational programs modulo axioms
• Term Rewriting and All That
• Termination of rewriting
• The theory of well-quasi-ordering: a frequently discovered concept
• Unification in modal and description logics
• Unification theory
• Unification theory
• Unification through projectivity
• Unification: a multidisciplinary survey
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• What is essential unification?
• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory

Cited in

(5)

• A note on unification, subsumption and unification type
• scientific article; zbMATH DE number 1722709 (Why is no real title available?)
• Unification, weak unification, upper bound, lower bound, and generalization problems
• What is essential unification?
• E-unification based on generalized embedding

This page was built for publication: E-unification based on generalized embedding

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