MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Metalanguage for Interactive Proof in LCF." – 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
  • Towards Provably Correct System Synthesis And Extension  
  • by C. Talcott, Reasoning Theories Towards, A. Armando, F. Giunchiglia, F. Giunchiglia, P. Pecchiari, P. Pecchiari, R. Overbeek — 1996
  • … Metalanguage for Interactive Proof in LCF. CSR report series CSR-16-77, Department of Artificial Intelligence…
  • Add To MetaCart
  • Formalizing Complex Reasoning  
  • by P. Traverso, M. J. Gordon, R. Milner, L. Morris, F. Giunchiglia, P. Pecchiari, C. Talcott, Reasoning Theories, Towards Architecture — 1996
  • … for Interactive Proof in LCF. CSR report series CSR-16-77, Department of Artificial Intelligence, Dept…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB