-Calculus.

Jean-Jacques Lévy

Published in: Theor. Comput. Sci. (1976)

Keyphrases

automated deduction
real world
algebraic structure
computer algebra
database
database systems
image sequences
multiscale
evolutionary algorithm
model checking
expressive power
temporal reasoning
interval algebra
provably correct
timed automata
relation algebra