Formale Methoden und Deduktion Prof. Dr. J. Avenhaus

Conference Proceedings

• Avenhaus, J.; Denzinger, J.; Fuchs, M.: DISCOUNT: A system for distributed equational deduction, Proc. RTA-95, Kaiserslautern, LNCS 914, 1995, pp. 397-402.
• Denzinger, J.: Knowledge-Based Distributed Search Using Teamwork, Proc. ICMAS-95, San Francisco, 1995, pp. 81-88.
• Fuchs, M.: Learning proof heuristics by adapting parameters, Proc. 12th MI, Morgan Kaufmann, 1995, pp. 235-243.
  Also as SEKI-Report SR-95-02, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (150 Kbytes)

Internal Reports

• Denzinger,J.: Completion and Equational Theorem Proving using Taxonomic Constraints, SEKI-Report SR-95-11, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (70 Kbytes)
• Fuchs, M.: Exploiting past proof Experience, LSA-Report LSA-95-08E, University of Kaiserslautern, 1995.
  • Download full paper (76 Kbytes)
• Fuchs, M. : Experiments in the Heuristic Use of Past Proof Experience, SEKI-Report SR-95-10, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (160 Kbytes)
• Kühler, U.; Wirth, C.-P.: Inductive Theorem Proving in Theories Specified by Positive/Negative-Conditional Equations, SEKI Report SR-95-15, University of Kaiserslautern, 1995.
  • Abstract
  • Download full paper (301 Kbytes)

Impressum

AG Formale Methoden und Deduktion

Fachbereich Informatik

Technische Universität Kaiserslautern