Searching for "Connecting a Logical Framework to a First-Order Logic Prover." – 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.

Connecting a logical framework to a first-order logic prover (extended version
by Andreas Abel, Thierry Coqu, Ulf Norell — 2005 — In FroCos’05: Proceedings of the 5th International Workshop on Frontiers of Combining Systems
…Connecting a Logical Framework to a First-Order Logic Prover ⋆ Andreas Abel, Thierry Coquand…
Cited by 1 (0 self) – Add To MetaCart

Attended Summer Schools
by Grundschule Oberhaching (primary School — 2000
…, Thierry Coquand, and Ulf Norell. Connecting a logical framework to a first-order logic prover. In Bernhard…
Add To MetaCart

Showing 1 through 2.

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