Productivity of Stream Definitions
From MaRDI portal
Publication:5444967
DOI10.1007/978-3-540-74240-1_24zbMath1135.68471OpenAlexW3004961099MaRDI QIDQ5444967
Ariya Isihara, Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop
Publication date: 26 February 2008
Published in: Fundamentals of Computation Theory (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/1871/11422
Related Items (14)
Unnamed Item ⋮ Bisimulations Generated from Corecursive Equations ⋮ Productivity of stream definitions ⋮ Complete sets of cooperations ⋮ Coalgebras in functional programming and type theory ⋮ Lazy productivity via termination ⋮ Complexity of Fractran and Productivity ⋮ Applications and extensions of context-sensitive rewriting ⋮ The $\Pi^0_2$ -Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) ⋮ Proving Infinitary Normalization ⋮ Using Structural Recursion for Corecursion ⋮ Upper Bounds on Stream I/O Using Semantic Interpretations ⋮ Inductive and Coinductive Components of Corecursive Functions in Coq ⋮ Observational Coalgebras and Complete Sets of Co-operations
This page was built for publication: Productivity of Stream Definitions
