Refine
Document Type
- Preprint (2)
Language
- English (2)
Has Fulltext
- yes (2)
Faculty / Organisational entity
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.