Search results
From Termination-Portal.org
Jump to navigationJump to search
- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend619 bytes (94 words) - 09:13, 18 January 2011
- Please fill in the data so that your tool can be added to some default categories and a simple tool page can be created. You may extend699 bytes (106 words) - 09:12, 18 January 2011
- ...des a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. ...ion] virtual at [https://www.cs.cmu.edu/~mheule/CADE28/ CADE 2021], Paris, France, July 16, 2021 ([[Media:proc_WST_2021.pdf|proceedings]])6 KB (748 words) - 16:07, 13 March 2026
