- Inversion Framework: Reasoning about Inversion by Conditional Term Rewriting Systems Maja Kirkeby Robert Gluck Mon 29 March 2021
- Regular Language Type Inference with Term Rewriting Timothée Haudebourg Thomas Genet Thomas Jensen Tue 04 August 2020
Library Size: 13G (2 entries),
Last Updated: Apr 04, 2026, 18:14:59,
Build Time: N/A
