A calculus for costed computations

Matthew Hennessy

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

information systems
three dimensional
database
data sets
real world
multi agent systems
artificial neural networks
motion estimation
efficient computation
automated deduction
algebraic structure
computer algebra
sequent calculus