The term rewriting approach to automated theorem proving. (English) Zbl 0754.68100
We give a survey of different methods developed in term rewriting for application to automated deduction in various logical systems.
MSC:
68T15 | Theorem proving (deduction, resolution, etc.) (MSC2010) |
68Q42 | Grammars and rewriting systems |
68-02 | Research exposition (monographs, survey articles) pertaining to computer science |