Searching for "Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
by unknown authors
… Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms Hans de…
Add To MetaCart

Automated Proof Construction in Type Theory using Resolution#
by Sonstige Wissenschafliche Arbeiten, Dr. Ir, Jean Marie, Guillaume G'erard Nivellescheidterstrasse
… de Nivelle, Translation of Resolution Proofs into ShortFirst-Order Proofs without Choice Axioms…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB