Login / Signup

On Two Dually Nondeterministic Refinement Algebras.

Kim Solin
Published in: RelMiCS (2006)
Keyphrases
  • temporal reasoning
  • spatial reasoning
  • distributive lattices
  • finite state
  • query refinement
  • finite automata
  • clifford algebra
  • real time
  • expert systems
  • relational databases
  • initial state
  • step wise