A Calculus of Coroutines.

Published in: ICALP (2004)

Keyphrases

computer algebra
automated deduction
knowledge base
real time
databases
computer vision
formal language
proof procedure
natural deduction
algebraic structure