Stability among r.e. Quotient Algebras.

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

Keyphrases

stability analysis
machine intelligence
temporal reasoning
artificial intelligence
data structure
trade off
relation algebra
distributive lattices