Definitions by rewriting in the Calculus of Constructions.

Frédéric Blanqui

Published in: Math. Struct. Comput. Sci. (2005)

Keyphrases

rewrite rules
algebraic structure
rewriting rules
rewriting systems
presburger arithmetic
conjunctive queries
automated deduction
computer algebra
website
query rewriting
real numbers
provably correct
precise definition