A remark on infinite matching vs infinite unification

DOI10.1006/JSCO.1996.0012MaRDI QIDQ2563693zbMATH OpenOpenAlexFDO

Authors Benedetto Intrigila, Marisa Venturini Zilli

Publication date 16 December 1996

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1006/jsco.1996.0012

zbMATH Keywords

infinite matchinginfinite unification

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 1389857
• Matching - a special case of unification?
• Generalizations of unification
• Unification for infinite sets of equations between finite terms
• On the sequential nature of unification

Cited in

(4)

• A note on a canonical theory with undecidable unification and matching problem
• Finite limits and anti-unification in substitution categories
• Unification for infinite sets of equations between finite terms
• scientific article; zbMATH DE number 1389857 (Why is no real title available?)

This page was built for publication: A remark on infinite matching vs infinite unification

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