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
- Program inversion for tail recursive functions
- Title not available (Why is that?)
- Determinization of conditional term rewriting systems
- A program inverter for a functional language with equality and constructors.
- Computing more specific versions of conditional rewriting systems
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
- Functional and Logic Programming
This page was built for software: InvX
