[isabelle] Documentation on the simplifier



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
------------------ 






This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.