Cited in
(15)- Term Rewriting and Applications
- scientific article; zbMATH DE number 1612493 (Why is no real title available?)
- Program inversion for tail recursive functions
- Computing more specific versions of conditional rewriting systems
- Functional and Logic Programming
- A program inverter for a functional language with equality and constructors.
- scientific article; zbMATH DE number 1953282 (Why is no real title available?)
- Automatic Partial Inversion of Inductively Sequential Functions
- Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
- SbReve2
- VMTL
- THEOPOGLES
- Tsukuba
- LRinv
- Determinization of conditional term rewriting systems
This page was built for software: InvX
