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