Search results
- categories and a simple tool page can be created. You may extend |country=Italy and France ...858 bytes (129 words) - 09:57, 22 December 2009
- ...lso provides 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 (753 words) - 07:22, 16 July 2026