Term Rewriting and Applications
From MaRDI portal
Publication:5703855
DOI10.1007/b135673zbMath1078.68662MaRDI 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
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Clean Reversible Simulations of Ranking Binary Trees, Completion after Program Inversion of Injective Functions, Characterizing and proving operational termination of deterministic conditional term rewriting systems, Fundamentals of reversible flowchart languages, 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
Uses Software