MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Extensibility of Proof Checkers." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • On Extensibility of Proof Checkers  
  • by Robert Pollack — 1995 — in Dybjer, Nordstrom and Smith (eds), Types for Proofs and Programs: International Workshop TYPES'94, Bastad
  • …On Extensibility of Proof Checkers ? ?? Robert Pollack Dept. of Computing Science Chalmers Univ…
  • Cited by 4 (2 self) – Add To MetaCart
  • Prototype Proof Checker  
  • by Sentot Kromodimoeljo, Bill Pase — 1995
  • … a .src extension), and a proof log file (that has a .plg extension). The proof checker will echo…
  • Cited by 1 (1 self) – Add To MetaCart
  • Towards mechanical metamathematics  
  • by N. Shankar, N. Bourbaki [bourbaki — 1985 — Journal of Automated Reasoning
  • … of significant extensions to a formal logic. This ability to make sound extensions to a proof-checker has been…
  • Cited by 11 (1 self) – Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB