Computing and Visualizing Closure Objects Using Relation Algebra and RelView.

Rudolf Berghammer Bernd Braßel

Published in: CASC (2009)

Keyphrases

relation algebra
object model
moving objects
theorem proving
databases
artificial intelligence
image sequences
d objects