Transfinite rewriting semantics for term rewriting systems
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 3988695
- A hierarchy of semantics for non-deterministic term rewriting systems
- Transfinite reductions in orthogonal term rewriting systems
- Transfinite reductions in orthogonal term rewriting systems
- Algebraic semantics and complexity of term rewriting systems
- scientific article; zbMATH DE number 3949707
- A compact fixpoint semantics for term rewriting systems
- Processes, Terms and Cycles: Steps on the Road to Infinity
- scientific article; zbMATH DE number 1118018
- Remarks on Thatte's transformation of term rewriting systems
Cited in
(26)- A finiteness condition for rewriting systems
- Intersection of the reflexive transitive closures of two rewrite relations induced by term rewriting systems
- On the descriptive power of term rewriting systems
- Context-sensitive rewriting strategies
- Right-linear half-monadic term rewrite systems
- Bounded, strongly sequential and forward-branching term rewriting systems
- Transfinite reductions in orthogonal term rewriting systems
- Infinitary rewriting: closure operators, equivalences and models
- On modularity in infinitary term rewriting
- Correct and complete (positive) strategy annotations for \textsf{OBJ}
- Transfinite corecursion
- A Fully Abstract Semantics for Constructor Systems
- scientific article; zbMATH DE number 3949707 (Why is no real title available?)
- scientific article; zbMATH DE number 3988695 (Why is no real title available?)
- scientific article; zbMATH DE number 1231669 (Why is no real title available?)
- scientific article; zbMATH DE number 1332646 (Why is no real title available?)
- Languages, rewriting systems, and verification of infinite-state systems
- scientific article; zbMATH DE number 1889386 (Why is no real title available?)
- Rewriting systems, finiteness conditions, and associated functions
- Algebraic semantics and complexity of term rewriting systems
- Lazy productivity via termination
- Correctness of Context-Moving Transformations for Term Rewriting Systems
- Extended term rewriting systems
- Semantics of non-terminating rewrite systems using minimal coverings
- Transfinite semantics in the form of greatest fixpoint
- A compact fixpoint semantics for term rewriting systems
This page was built for publication: Transfinite rewriting semantics for term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2778880)
