Semi-inversion of conditional constructor term rewriting systems
DOI10.1007/978-3-030-45260-5_15zbMATH Open1502.68152OpenAlexW3018857170WikidataQ125525904 ScholiaQ125525904MaRDI QIDQ5097640FDOQ5097640
Authors: Maja H. Kirkeby, Robert Glück 
Publication date: 25 August 2022
Published in: Logic-Based Program Synthesis and Transformation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-45260-5_15
Recommendations
logic programsprogram transformationfunctional programsprogram inversionconditional term rewriting systems
Logic programming (68N17) Grammars and rewriting systems (68Q42) Functional programming and lambda calculus (68N18)
Cites Work
- Term Rewriting and All That
- Reversible Machine Code and Its Abstract Processor Architecture
- A program inverter for a functional language with equality and constructors.
- Title not available (Why is that?)
- The universal resolving algorithm and its correctness: Inverse computation in a functional language
- Program inversion for tail recursive functions
- The integration of functions into logic programming: From theory to practice
- Determinization of conditional term rewriting systems
- Title not available (Why is that?)
- Term Rewriting and Applications
- Programming with narrowing: a tutorial
- Reversible computation in term rewriting
- Automatic Partial Inversion of Inductively Sequential Functions
- A method for automatic program inversion based on LR(0) parsing
- Title not available (Why is that?)
Cited In (5)
This page was built for publication: Semi-inversion of conditional constructor term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5097640)
