项重写与诸如此类
Term rewriting and all that
Franz Baader · 初版 1998 年
- 8次提及
- 4人推荐
- 7位 HN 评论者
Hacker News 读者推荐
……挺复杂的，但依然可行，可能需要对原方法做一些扩展。通用方案有各种各样的变体。如果你对 term rewriting（项重写）感兴趣，Baader 和 Nipkow 写的《Term Rewriting and All That》是一个很扎实的入门选择。
zmonx 在 HN 的推荐
Baader 和 Nipkow 写的《Term Rewriting and All That》这本书包含大量 ML 代码，我强烈推荐。代码可以在线获取：https://www21.in.tum.de/~nipkow/TRaAT/ 书里还包含很多有用的参考文献，我……
triska 在 HN 的推荐
……这在网上是免费公开的。我还没读完 HoTT，所以没法评价它好不好懂，或者内容覆盖的广度和深度如何。对重写系统感兴趣的人应该先从 Baader 和 Nipkow 的《Term Rewriting and All That》读起，我觉得它极其通俗易懂，而且相当全面（涵盖了抽象重写系统、字符串重写、图重写等）。关于重写方面的书，你的选择……
groovy2shoes 在 HN 的推荐
找书
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。