Term Rewriting and Applications
From MaRDI portal
Publication:5703855
DOI10.1007/b135673zbMath1078.68662OpenAlexW2504734884MaRDI QIDQ5703855
Naoki Nishida, Masahiko Sakai, Toshiki Sakabe
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135673
Related Items (15)
Transformations of Conditional Rewrite Systems Revisited ⋮ Determinization of conditional term rewriting systems ⋮ Semi-inversion of Conditional Constructor Term Rewriting Systems ⋮ Fundamentals of reversible flowchart languages ⋮ \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches ⋮ Clean Reversible Simulations of Ranking Binary Trees ⋮ Unnamed Item ⋮ Inverse Unfold Problem and Its Heuristic Solving ⋮ Unnamed Item ⋮ Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems ⋮ Determinization of inverted grammar programs via context-free expressions ⋮ Completion after Program Inversion of Injective Functions ⋮ Characterizing and proving operational termination of deterministic conditional term rewriting systems ⋮ Applications and extensions of context-sensitive rewriting ⋮ Transformation for Refining Unraveled Conditional Term Rewriting Systems
Uses Software
This page was built for publication: Term Rewriting and Applications
