Controlled Term Rewriting
From MaRDI portal
Publication:3172893
DOI10.1007/978-3-642-24364-6_13zbMATH Open1348.68083OpenAlexW1666446684MaRDI QIDQ3172893FDOQ3172893
Florent Jacquemard, Masahiko Sakai, Yoshiharu Kojima
Publication date: 7 October 2011
Published in: Frontiers of Combining Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-24364-6_13
Cites Work
- Top-down tree transducers with regular look-ahead
- One-sided and two-sided context in formal grammars
- Query automata over finite trees
- Monadic datalog and the expressive power of languages for Web information extraction
- Term Rewriting and All That
- Typechecking for XML transformers
- Context-sensitive rewriting strategies
- Decidable call-by-need computations in term rewriting
- Reachability analysis over term rewriting systems
- Abstract Regular Tree Model Checking of Complex Dynamic Data Structures
- Deterministic tree pushdown automata and monadic tree rewriting systems
- Pushdown tree automata
- Visibly Pushdown Languages and Term Rewriting
- Classes of languages and linear-bounded automata
- Deleting string rewriting systems preserve regularity
- Flow analysis of lazy higher-order functional programs
- Decidability for left-linear growing term rewriting systems.
- Title not available (Why is that?)
- Tree automata for rewrite strategies
- Title not available (Why is that?)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Attenuation Regulation as a Term Rewriting System
- Title not available (Why is that?)
- Applications and extensions of context-sensitive rewriting
- Title not available (Why is that?)
- Term Rewriting with Prefix Context Constraints and Bottom-Up Strategies
- Title not available (Why is that?)
- One-variable context-free hedge automata
Uses Software
This page was built for publication: Controlled Term Rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3172893)
