Searching for "A Small Framework for Proof Checking." – 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.

A Small Framework for Proof Checking
by Hans De Nivelle, Piotr Witkowski
…A Small Framework for Proof Checking Hans de Nivelle and Piotr Witkowski Institute of Computer…
Add To MetaCart

Practical Aspects of Automated Reasoning and Evaluation of Systems for Higher Order Logic
by Boris Konev, Renate Schmidt, Stephan Schulz, Boris Konev, Renate A. Schmidt, Stephan Schulz, Tu München — 2008
… . . . . . . . 46 Joao Marcos, Dalmo Mendon Ãa A Small Framework for Proof Checking…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB