Semantics and strong sequentially of priority term rewriting systems
From MaRDI portal
Publication:5055874
DOI10.1007/3-540-61464-8_66zbMATH Open1503.68150OpenAlexW4252242530MaRDI QIDQ5055874FDOQ5055874
Authors: Masahiko Sakai, Yoshihito Toyama 
Publication date: 9 December 2022
Published in: Rewriting Techniques and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61464-8_66
Recommendations
- Semantics and strong sequentiality of priority term rewriting systems
- Strongly sequential and inductively sequential term rewriting systems
- scientific article; zbMATH DE number 4074466
- Priority rewriting: Semantics, confluence, and conditionals
- Operational semantics of rewriting with priorities
- Bounded, strongly sequential and forward-branching term rewriting systems
- Term rewriting systems with sort priorities
- Term-rewriting systems with rule priorities
- Sequentiality in orthogonal term rewriting systems
- A refinement of strong sequentiality for term rewriting with constructors
Grammars and rewriting systems (68Q42) Mechanization of proofs and logical operations (03B35) Semantics in the theory of computing (68Q55)
Cites Work
- Sequentiality in orthogonal term rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Term-rewriting systems with rule priorities
- Priority rewriting: Semantics, confluence, and conditionals
Cited In (6)
- Priority rewriting: Semantics, confluence, and conditionals
- Semantics and strong sequentiality of priority term rewriting systems
- Sequentiality in orthogonal term rewriting systems
- Bounded, strongly sequential and forward-branching term rewriting systems
- Title not available (Why is that?)
- Title not available (Why is that?)
This page was built for publication: Semantics and strong sequentially of priority term rewriting systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5055874)
