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: Feb 01 2025 at 20:19 UTC