Conditional linearization
From MaRDI portal
Publication:698633
DOI10.1016/S0019-3577(99)80012-3zbMATH Open1025.03502OpenAlexW4210515731MaRDI QIDQ698633FDOQ698633
Publication date: 22 September 2002
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/s0019-3577(99)80012-3
Recommendations
Cites Work
- The lambda calculus, its syntax and semantics
- Conditional rewrite rules: Confluence and termination
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Title not available (Why is that?)
- Computing in systems described by equations
- Extended term rewriting systems
- Title not available (Why is that?)
- \(\lambda\)-calculus and computer science theory. Proceedings of the symposium held in Rome, March 25-27, 1975
- Unique normal forms for lambda calculus with surjective pairing
- Unique normal form property of Higher-Order Rewriting Systems
- Title not available (Why is that?)
- Pairing Without Conventional Restraints
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Unique normal forms for nonlinear term rewriting systems: Root overlaps
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
Cited In (5)
This page was built for publication: Conditional linearization
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698633)
