INKA: The next generation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 288-292

  Hutter, Dieter ^a   Sengler, Claus ^a  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION;

FIRST ORDER; SYSTEM STATE; THEOREM PROVERS;

THEOREM PROVING;

EID: 84957679307     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_92     Document Type: Conference Paper

References (10)

1. D. Hutter, B. Langenstein, C. Sengler, J. Siekmann, W. Stephan, and A. Wolpers. Deduction in the Verification Support Environment (VSE). Proceedings of the Formal Methods Europe 96, Oxford, Great Britain, 1996.
2. th International Conference on Automated Deduction (CADE), Lecture Notes in Computer Science (LNCS) 230, Oxford, England, 1986. Springer-Verlag, Berlin, Germany.
3. R. S. Boyer and J. S. Moore. A Computational Logic. Academic Press, London, England, 1979.
4. A. Bundy, A. Stevens, F. V. Harmelen, A. Ireland, and A. Smaill. Rippling: a heuristic for guiding inductive proofs. Journal of Artificial Intelligence, North Holland Publishing Company, pp. 185-253, No. 62, 1993.
5. J. Giesl. Automatisierung von Terminierungsbeweisen für rekursiv definierte Al- gorithmen. infix, 1995.
6. th International Conference on Automated Deduction (CADE), Lecture Notes in Artificial Intelligence (LNAI) 449 Kaiserslautern, Germany, 1990, Springer-Verlag, Berlin, Germany.
7. th European Conference on Artificial Intelligence, pages 65 - 69. Wiley and sons, 1992.
8. D. Hutter. Colouring Terms to Control Equational Reasoning Journal of Automated Reasoning, Kluwer, forthcoming.
9. th International Conference on Automated Deduction (CADE), 1996.
10. C. Walther. On proving the termination of algorithms by machine. Artificial Intelligence, 71, 1994.