Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Documentation on the simplifier

Email Gateway (Aug 18 2022 at 15:57):

From: Jens Doll <jd@cococo.de>
The book from Tobias and Franz Baader is a good one and I learned the
TRS basics from it. But there is a second good book with the title
"Advanced Topics in Term Rewriting" from Benno Ohlebusch, which has also
to be mentioned.

Regards
Jens

http://cococo.de

Last updated: Sep 08 2025 at 16:25 UTC