- Regular Language Type Inference with Term Rewriting Timothée Haudebourg Thomas Genet Thomas Jensen Tue 04 August 2020
- Tree Automata for Rewrite Strategies Pierre Réty Julie Vuotto Tue 14 January 2014
- Rewriting Transfinite Terms J. Ketema S. C. C. Blom T. Aoto J. G. Simonsen Wed 25 December 2013
- Deciding Reachability in Mobile Ambients with Name Restriction Giorgio Delzanno Roberto Montagna Tue 18 December 2012
Library Size: 13G (4 entries),
Last Updated: Apr 05, 2026, 08:41:35,
Build Time: N/A
