- An algebraic approach to vectorial programs Charles Paperman Sylvain Salvati Claire Soyez-Martin Thu 02 March 2023
- Algebraic Recognition of Regular Functions Mikolaj Bojańczyk Lê Thành Dũng Nguy~ên Tue 28 February 2023
- Separating Regular Languages with First-order Logic Thomas Place Marc Zeitoun Fri 29 January 2016
- Factorisation Forests for Infinite Words Application to Countable Scattered Linear Orderings Thomas Colcombet Wed 08 January 2014
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
