| - | Franz Baader, Tobias Nipkow - Term Rewriting and All That (1998, Cambridge University Press) - libgen.li.pdf | 26323026 | pdf | 2024-06-05 13:51:31 |
| - | Jan Willem Klop - Combinatory Reduction Systems [PhD Thesis] (1980, Mathematisch Centrum) - libgen.li.pdf | 7787561 | pdf | 2024-06-27 16:06:09 |
| - | Samson Abramsky, Dov M Gabbay, Thomas S E Maibaum (eds.) - Handbook of Logic in Computer Science. Volume 2_ Background_ Computational structures-Clarendon Press (1992).djvu | 4754054 | djvu | 2024-06-05 15:28:13 |
| - | [Cambridge Tracts in Theoretical Computer Science 55] Terese - Term Rewriting Systems (2003, Cambridge University Press) - libgen.li.djvu | 8992550 | djvu | 2024-06-04 12:33:48 |
| - | confluence_by_decreasing_diagrams.pdf | 1271221 | pdf | 2024-05-28 13:47:08 |
| - | decreasing_diagrams_for_confluence_and_commutation.pdf | 482772 | pdf | 2024-05-28 13:51:42 |
| - | geometric_confluence_by_dd_klop2000.pdf | 257742 | pdf | 2024-05-28 13:48:07 |
| - | isabelle_confluence_dd.pdf | 228469 | pdf | 2024-07-06 22:21:42 |
| - | terese.pdf | 190072763 | pdf | 2025-01-24 12:37:33 |
| - | tereselite06.pdf | 1305581 | pdf | 2024-05-28 13:44:35 |