Proving Infinitary Normalization
From MaRDI portal
Publication:3638246
DOI10.1007/978-3-642-02444-3_5zbMath1246.68135OpenAlexW1791432213MaRDI QIDQ3638246
Roel de Vrijer, Jan Willem Klop, Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
Publication date: 2 July 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.vu.nl/ws/files/2709252/243602.pdf
Related Items (5)
Infinitary rewriting: closure operators, equivalences and models ⋮ Transducer degrees: atoms, infima and suprema ⋮ Highlights in infinitary rewriting and lambda calculus ⋮ Local Termination ⋮ Unnamed Item
Cites Work
- Unnamed Item
- Termination of term rewriting: Interpretation and type elimination
- Termination of term rewriting using dependency pairs
- Normalization of Infinite Terms
- Matrix Interpretations for Proving Termination of Term Rewriting
- Initial Algebra Semantics and Continuous Algebras
- Productivity of Stream Definitions
This page was built for publication: Proving Infinitary Normalization
