MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Reusing Proofs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 176 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Reusing Proofs  
  • by Thomas Kolbe, Christoph Walther — 1994 — in Proceedings of ECAI-94
  • …Reusing Proofs Thomas Kolbe and Christoph Walther Abstract. 1 We develop a learning component…
  • Cited by 34 (8 self) – Add To MetaCart
  • Reuse of proofs in software verification  
  • by Wolfgang Reif, Kurt Stenzel — 1993 — Foundations of Software Technology and Theoretical Computer Science
  • …Reuse of Proofs in Software Verication Wolfgang Reif and Kurt Stenzel ? Abt. Programmiermethodik…
  • Cited by 20 (6 self) – Add To MetaCart
  • Theorem reuse by proof term transformation  
  • by Einar Broch Johnsen, Christoph Lüth — 2004 — International Conference on Theorem Proving in Higher-Order Logics TPHOLs 2004, volume 3223 of Lecture Notes in Computer Science
  • …Theorem Reuse by Proof Term Transformation Einar Broch Johnsen 1 and Christoph Lüth 2 1 Department…
  • Cited by 6 (1 self) – Add To MetaCart
  • Reuse of Proofs by Meta-Methods  
  • by Xiaorong Huang, Manfred Kerber, Fachbereich Informatik — 1995 — Working Notes of the IJCAI-Workshop on Formal Approaches to the Reuse of Plans, Proofs, and Programs
  • …Reuse of Proofs by Meta-Methods Xiaorong Huang Manfred Kerber Fachbereich Informatik…
  • Cited by 1 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB