The following pages link to Term Rewriting and Applications (Q5703855):
Displayed 15 items.
- Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) (← links)
- Fundamentals of reversible flowchart languages (Q896906) (← links)
- Determinization of conditional term rewriting systems (Q1929232) (← links)
- Determinization of inverted grammar programs via context-free expressions (Q1979968) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802) (← links)
- Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
- (Q5018484) (← links)
- (Q5020992) (← links)
- Semi-inversion of Conditional Constructor Term Rewriting Systems (Q5097640) (← links)
- Clean Reversible Simulations of Ranking Binary Trees (Q5112174) (← links)
- Completion after Program Inversion of Injective Functions (Q5170160) (← links)
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems (Q5240131) (← links)
- Inverse Unfold Problem and Its Heuristic Solving (Q5240134) (← links)
- \textsc{Synbit}: synthesizing bidirectional programs using unidirectional sketches (Q6151758) (← links)