MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Christoph Walther – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 11 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
  • Patching Proofs for Reuse  
  • by Thomas Kolbe, Christoph Walther — 1995 — Proc. European Conf. on Machine Learning, Heraklion
  • …Patching Proofs for Reuse Thomas Kolbe Christoph Walther FB Informatik, TH Darmstadt…
  • Cited by 8 (5 self) – Add To MetaCart
  • Adaptation of Proofs for Reuse  
  • by Thomas Kolbe, Christoph Walther — 1995 — WORKING NOTES OF THE 1995 AAAI FALL SYMPOSIUM ON ADAPTATION OF KNOWLEDGE FOR REUSE, 61--67
  • …Adaptation of Proofs for Reuse Thomas Kolbe Christoph Walther Fachbereich Informatik, Technische…
  • Cited by 1 (1 self) – Add To MetaCart
  • Termination analysis for functional programs  
  • by Jürgen Giesl, Christoph Walther, Jürgen Brauburger — 1998 — AUTOMATED DEDUCTION -- A BASIS FOR APPLICATIONS, VOL. III, APPLIED LOGIC SERIES 10
  • …JRGEN GIESL, CHRISTOPH WALTHER, JRGEN BRAUBURGER TERMINATION ANALYSIS FOR FUNCTIONAL PROGRAMS 1…
  • Cited by 8 (4 self) – Add To MetaCart
  • Combining Induction Axioms By Machine  
  • by Christoph Walther, Technische Hochschule Darmstadt — 1993 — Proc. of Twelfth International Joint Conference on Artificial Intelligence
  • … Christoph Walther Technische Hochschule Darmstadt Fachbereich Informatik, AlexanderstraBe 10 D 6100…
  • Cited by 4 (0 self) – Add To MetaCart
  • About �eriFun  
  • by Christoph Walther, Stephan Schweitzer, Fachgebiet Programmiermethodik, Technische Universität Darmstadt — 2003 — Proc. of CADE-19, volume 2741 of LNCS
  • …About �eriFun Christoph Walther and Stephan Schweitzer Fachgebiet Programmiermethodik Technische…
  • Cited by 3 (2 self) – Add To MetaCart
  • Termination of Theorem Proving by Reuse  
  • by Thomas Kolbe, Christoph Walther, Fachbereich Informatik, Technische Hochschule Darmstadt, D- Darmstadt — 1996 — Proc. CADE-13
  • …Termination of Theorem Proving by Reuse Thomas Kolbe and Christoph Walther Fachbereich Informatik…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB