Term rewriting and all that
Explore Term rewriting and all that by Franz Baader: 8 Hacker News mentions from 7 participants in 2007-02-22–2026-11-01. Read original excerpts, compare opinions and save this book.
Share on XFrom the conversation
Latest 8 source recordsA mention is not an endorsement. Labels are automatically classified by the source. Follow the original discussion to verify the context.
This record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News"Term rewriting and all that". It's not easy going, however; make sure your category theory and universal algebra are top-notch before touching the burgundy book.
Read on Hacker NewsThis record preserves its author, date and source link. Open HN to read the full context.
Read on Hacker News