The Unification of Three Calculi.

Edsger W. Dijkstra

Published in: NATO ASI PDC (1992)

Keyphrases

higher order
theorem proving
automated theorem proving
case study
equational theories
database
real time
neural network
social networks
image processing
data structure
vague concepts
sequent calculi