- Regular tree and regular hedge languages over unranked alphabets: Version 1 Anne B. Klein Makoto Murata Derick Wood Mon 15 July 2013
- Resolution d'equations dans les langages d'ordre 1, 2, ..., omega. Gerard Huet Sun 17 February 2013
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A