Disunification in ACI1 theories

DOI10.1023/B:CONS.0000006182.84033.6EMaRDI QIDQ704658zbMATHOpenAlexFDO

Authors Agostino Dovier, Carla Piazza, Enrico Pontelli

Publication date 19 January 2005

Published in Constraints (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/b:cons.0000006182.84033.6e

zbMATH Keywords

complexityACICLPdisunificationEquational theories

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17) Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35)

Recommendations

• On solving equations and disequations
• Set unification
• scientific article; zbMATH DE number 4089518
• scientific article; zbMATH DE number 845925
• Combination techniques and decision problems for disunification

Cited in

(2)

• On solving equations and disequations
• scientific article; zbMATH DE number 7552283 (Why is no real title available?)

This page was built for publication: Disunification in ACI1 theories

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