Computation calculus = sequential calculus + discreteness and termination.

Burghard von Karger

Published in: RelMiCS (1998)

Keyphrases

term rewriting
automated deduction
information retrieval
database
real time
databases
decision trees
efficient computation
sequential search
computer algebra