A Direct Proof of the Finite Developments Theorem.

Roel C. de Vrijer

Published in: J. Symb. Log. (1985)

Keyphrases

interactive theorem proving
complete axiomatization
theorem prover
databases
search engine
database systems
von neumann
linear logic
proof planning