Productivity of stream definitions
From MaRDI portal
Publication:846366
DOI10.1016/J.TCS.2009.10.014zbMATH Open1183.68162OpenAlexW2111944485MaRDI QIDQ846366FDOQ846366
Jörg Endrullis, Clemens Grabmayer, Ariya Isihara, Dimitri Hendriks, Jan Willem Klop
Publication date: 9 February 2010
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://dspace.library.uu.nl/handle/1874/33689
Cites Work
- 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?)
- Automatic Sequences
- The lambda calculus. Its syntax and semantics. Rev. ed.
- Behavioural differential equations: a coinductive calculus of streams, automata, and power series
- Intensional interpretations of functionals of finite type I
- Infinitary lambda calculus
- A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata
- An extensional treatment of dataflow deadlock
- Transfinite reductions in orthogonal term rewriting systems
- A term calculus for (co-)recursive definitions on streamlike data structures
- Productivity of Stream Definitions
- Data-Oblivious Stream Productivity
Cited In (10)
- Behavioral Rewrite Systems and Behavioral Productivity
- Bialgebras for structural operational semantics: an introduction
- Characterizing polynomial time complexity of stream programs using interpretations
- Lazy productivity via termination
- Title not available (Why is that?)
- Title not available (Why is that?)
- Applications and extensions of context-sensitive rewriting
- Title not available (Why is that?)
- Highlights in infinitary rewriting and lambda calculus
- On the complexity of stream equality
This page was built for publication: Productivity of stream definitions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q846366)
