InvX
From MaRDI portal
Software:22072
No author found.
Related Items
Unnamed Item ⋮ Unnamed Item ⋮ Determinization of conditional term rewriting systems ⋮ Term Rewriting and Applications ⋮ Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings ⋮ Automatic Partial Inversion of Inductively Sequential Functions ⋮ Programming Languages and Systems ⋮ Functional and Logic Programming ⋮ Computing More Specific Versions of Conditional Rewriting Systems ⋮ Program Inversion for Tail Recursive Functions
This page was built for software: InvX