Comparison of priority rules in pattern matching and term rewriting
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3951980 (Why is no real title available?)
- scientific article; zbMATH DE number 4037164 (Why is no real title available?)
- scientific article; zbMATH DE number 4048997 (Why is no real title available?)
- scientific article; zbMATH DE number 4074466 (Why is no real title available?)
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
Cited in
(9)- More efficient left-to-right matching for overlapping pattern
- scientific article; zbMATH DE number 177788 (Why is no real title available?)
- Termination of Priority Rewriting
- Implementing first-order rewriting with constructor systems
- scientific article; zbMATH DE number 1708150 (Why is no real title available?)
- Operational semantics of rewriting with priorities
- scientific article; zbMATH DE number 937376 (Why is no real title available?)
- Lazy rewriting and eager machinery
- scientific article; zbMATH DE number 4074466 (Why is no real title available?)
This page was built for publication: Comparison of priority rules in pattern matching and term rewriting
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q808264)
