A First-Order Calculus for Allegories.

Bahar Aameri Michael Winter

Published in: RAMiCS (2011)

Keyphrases

term rewriting
first order logic
higher order
query language
operational semantics
real numbers
automated theorem proving
stochastic dominance
database
theorem proving
theory revision
proof procedure
algebraic structure
provably correct