scientific article
From MaRDI portal
Publication:4011707
zbMath0784.03003MaRDI QIDQ4011707
Irving H. Anellis, Nathan R. Houser
Publication date: 27 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Algebraic logic (03Gxx)
Related Items (7)
Complexity of equations valid in algebras of relations. I: Strong non-finitizability ⋮ Abstract algebraic logic. An introductory chapter ⋮ Tractable approximations for temporal constraint handling ⋮ Goals and benchmarks for automated map reasoning ⋮ A relation-algebraic approach to the region connection calculus ⋮ Relation algebras and their application in temporal and spatial reasoning ⋮ The complexity of constraint satisfaction problems for small relation algebras
This page was built for publication:
