Partial inversion of constructor term rewriting systems
From MaRDI portal
Recommendations
- Completion after program inversion of injective functions
- Semi-inversion of conditional constructor term rewriting systems
- Automatic Partial Inversion of Inductively Sequential Functions
- A program inverter for a functional language with equality and constructors.
- scientific article; zbMATH DE number 4092749
Cited in
(17)- Determinization of conditional term rewriting systems
- Determinization of inverted grammar programs via context-free expressions
- Applications and extensions of context-sensitive rewriting
- Transformation for refining unraveled conditional term rewriting systems
- Transformations of Conditional Rewrite Systems Revisited
- Proving injectivity of functions via program inversion in term rewriting
- Automatic Partial Inversion of Inductively Sequential Functions
- The bang calculus and the two Girard's translations
- scientific article; zbMATH DE number 7455733 (Why is no real title available?)
- Semi-inversion of conditional constructor term rewriting systems
- Clean reversible simulations of ranking binary trees
- Completion after program inversion of injective functions
- Notes on structure-preserving transformations of conditional term rewrite systems
- Inverse Unfold Problem and Its Heuristic Solving
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches
- Characterizing and proving operational termination of deterministic conditional term rewriting systems
- Fundamentals of reversible flowchart languages
This page was built for publication: Partial inversion of constructor term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703855)
