swMATH10103MaRDI QIDQ22072FDOQ22072
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007/3-540-51081-8_139
Cited In (15)
- 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
- SbReve2
- VMTL
- THEOPOGLES
- Tsukuba
- LRinv
- 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
