Finitariness of elementary unification in Boolean region connection calculus

DOI10.1007/978-3-319-66167-4_16zbMath1495.68205OpenAlexW2746686386MaRDI QIDQ1687563

Çiğdem Gencer, Philippe Balbiani

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_16

zbMATH Keywords

region connection calculuscomputabilityunification typeBoolean termsunifiability problem

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30) Grammars and rewriting systems (68Q42) Computational aspects of digital topology (68U03)

This page was built for publication: Finitariness of elementary unification in Boolean region connection calculus