Algebra of Constructions. I. The Word Problem for Partial Algebras

Adam Obtulowicz

Published in: Inf. Comput. (1987)

Keyphrases

word problems
distributive lattices
relation algebra
boolean algebra
similar problems
data model
interval algebra
query language
maximal tractable
learning algorithm
temporal reasoning
united states
computer assisted
spatial reasoning