Decidable approximations of term rewriting systems
From MaRDI portal
(Redirected from Publication:5055873)
Recommendations
Cites work
- scientific article; zbMATH DE number 3854429 (Why is no real title available?)
- scientific article; zbMATH DE number 4043235 (Why is no real title available?)
- scientific article; zbMATH DE number 3729436 (Why is no real title available?)
- scientific article; zbMATH DE number 1142316 (Why is no real title available?)
- scientific article; zbMATH DE number 1380887 (Why is no real title available?)
- scientific article; zbMATH DE number 1380890 (Why is no real title available?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems
- NV-Sequentiality: A Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems
- Recursive unsolvability of a problem of Thue
- Reductions in tree replacement systems
- Sequentiality in orthogonal term rewriting systems
- Simulation of Turing machines by a left-linear rewrite rule
Cited in
(28)- Decidable call-by-need computations in term rewriting
- The combinator S
- Derivation trees of ground term rewriting systems.
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
- Decidability of termination of grid string rewriting rules
- A theoretical limit for safety verification techniques with regular fix-point computations
- scientific article; zbMATH DE number 4043235 (Why is no real title available?)
- On Proving Soundness of the Computationally Equivalent Transformation for Normal Conditional Term Rewriting Systems by Using Unravelings
- scientific article; zbMATH DE number 1405630 (Why is no real title available?)
- Root-neededness and approximations of neededness
- Decidable call by need computations in term rewriting (extended abstract)
- Handling left-quadratic rules when completing tree automata
- Reducing non-occurrence of specified runtime errors to all-path reachability problems of constrained rewriting
- Bottom-up rewriting for words and terms
- Completeness of tree automata completion
- Strong and NV-sequentiality of constructor systems
- Levels of undecidability in rewriting
- Closure of tree automata languages under innermost rewriting
- Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems
- Termination criteria for tree automata completion
- Tree automata for rewrite strategies
- Decidability for left-linear growing term rewriting systems.
- Some undecidable approximations of TRSs
- Ground approximations of term rewriting systems
- Murg term rewrite systems
- Some decidability results on one-pass reductions
- Soft typing for ordered resolution
- Approximately satisfied properties of systems and simple language homomorphisms
This page was built for publication: Decidable approximations of term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055873)
