Completion for unification

DOI10.1016/0304-3975(91)90182-2MaRDI QIDQ1178701zbMATH OpenOpenAlexFDO

Authors Narjes Doggaz, Claude Kirchner

Publication date 26 June 1992

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(91)90182-2

zbMATH Keywords

mutationunificationmergingsyntactic theory

Mathematics Subject Classification ID

Artificial intelligence (68T99) Logic programming (68N17)

Recommendations

• Complete equational unification based on an extension of the Knuth-Bendix completion procedure
• scientific article; zbMATH DE number 4049130
• Combining unification algorithms
• scientific article; zbMATH DE number 3866609

Cites work

• scientific article; zbMATH DE number 3871320 (Why is no real title available?)
• scientific article; zbMATH DE number 3871322 (Why is no real title available?)
• scientific article; zbMATH DE number 4041327 (Why is no real title available?)
• scientific article; zbMATH DE number 4041328 (Why is no real title available?)
• scientific article; zbMATH DE number 4090765 (Why is no real title available?)
• scientific article; zbMATH DE number 3688776 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3567992 (Why is no real title available?)
• scientific article; zbMATH DE number 3622985 (Why is no real title available?)
• scientific article; zbMATH DE number 3299786 (Why is no real title available?)
• scientific article; zbMATH DE number 3413831 (Why is no real title available?)
• A Machine-Oriented Logic Based on the Resolution Principle
• A Unification Algorithm for Associative-Commutative Functions
• A complete proof of correctness of the Knuth-Bendix completion algorithm
• An Efficient Unification Algorithm
• THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
• Varieties of ”If-Then-Else“

Cited in

(6)

• Complete equational unification based on an extension of the Knuth-Bendix completion procedure
• scientific article; zbMATH DE number 176128 (Why is no real title available?)
• Stream fusion, to completeness
• Abstract canonical presentations
• Partial completion of equational theories
• Linear completion

This page was built for publication: Completion for unification

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