RALF - A Relation-Algebraic Formula Manipulation System and Proof Checker.

Claudia Hattensperger Rudolf Berghammer Gunther Schmidt

Published in: AMAST (1993)

Keyphrases

databases
higher order
case study
lower bound
theorem proving
linear logic
theorem prover
algebraic geometry