-Calculus.

Mitsuhiro Okada Ryo Takemura

Published in: Rewriting, Computation and Proof (2007)

Keyphrases

algebraic structure
databases
special case
provably correct
computer algebra
database
data sets
social networks
three dimensional
natural language
automated deduction