Filtern
Erscheinungsjahr
- 1997 (1) (entfernen)
Dokumenttyp
- Preprint (1) (entfernen)
Sprache
- Englisch (1)
Volltext vorhanden
- ja (1) (entfernen)
Fachbereich / Organisatorische Einheit
This paper provides a description of PLATIN. With PLATIN we present an imple-mented system for planning inductive theorem proofs in equational theories that arebased on rewrite methods. We provide a survey of the underlying architecture ofPLATIN and then concentrate on details and experiences of the current implementa-tion.