Proof Orders for Decreasing Diagrams.

Bertram Felgenhauer Vincent van Oostrom

Published in: RTA (2013)

Keyphrases

theorem prover
linear logic
knuth bendix
database
theorem proving
logical rules
databases
computer vision
multiscale
hand drawn
total order