Complexity of Equations Valid in Algebras of Relations: Part I: Strong Non-Finitizability.

Hajnal Andréka

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

relation algebra
numerical solution
machine learning
computational complexity
worst case
decision problems
semantic relations
table of contents
real time
information systems
web pages
high level
spatial reasoning