InvX
From MaRDI portal
Software:22072
swMATH10103MaRDI QIDQ22072FDOQ22072
Author name not available (Why is that?)
Cited In (10)
- Title not available (Why is that?)
- Automatic Partial Inversion of Inductively Sequential Functions
- Term Rewriting and Applications
- Computing More Specific Versions of Conditional Rewriting Systems
- Title not available (Why is that?)
- Determinization of conditional term rewriting systems
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
- Programming Languages and Systems
- Functional and Logic Programming
- Program Inversion for Tail Recursive Functions
This page was built for software: InvX
