-Calculus.

Jeroen Ketema Jakob Grue Simonsen

Published in: FLOPS (2010)

Keyphrases

mobile robot
automated deduction
databases
real world
website
multiscale
relational calculus
automated theorem proving
algebraic structure
relation algebra