Disunification in ACI1 theories

DOI10.1023/B:CONS.0000006182.84033.6EzbMATH Open1069.68096OpenAlexW2092600563MaRDI QIDQ704658FDOQ704658

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

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

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)

Cited In (2)

• Title not available (Why is that?)
• On solving equations and disequations

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)