Searching for "An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf." – sorted by Relevance.

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

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

1 documents found, showing 1 through 1.

An executable formalization of the HOL/Nuprl connection in the meta-logical framework Twelf
by Carsten Schürmann, Mark-oliver Stehr — 2005 — In Geoff Sutcliffe and Andrei Voronkov, editors, Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR), Montego
…An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf…
Cited by 1 (1 self) – Add To MetaCart

Showing 1 through 1.

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