Disunification in ACI1 theories

DOI10.1023/B:CONS.0000006182.84033.6EzbMath1069.68096OpenAlexW2092600563MaRDI QIDQ704658

Enrico Pontelli, Agostino Dovier, Carla Piazza

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

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

Related Items (1)

Unnamed Item

This page was built for publication: Disunification in ACI1 theories