Productivity of Stream Definitions (2008)

Cached

Download Links

by Jörg Endrullis , Clemens Grabmayer , Dimitri Hendriks , Ariya Isihara , Jan Willem Klop
Citations:13 - 3 self

Documents Related by Co-Citation

24 On the productivity of recursive list definitions – Ben A Sijtsma - 1989
298 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
83 Infinite Objects in Type Theory – Thierry Coquand
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
44 Rewriting Systems, volume 55 of Cambridge Tracts – Term
19 Calculus in Coinductive Form – D. Pavlovic, M.H. Escardó - 1998
13 A term calculus for (co-)recursive definitions on streamlike data structures – W Buchholz - 2005
52 Behavioural Differential Equations: A Coinductive Calculus of Streams, Automata, and Power Series – J. J. M. M. Rutten - 2000
14 Data-Oblivious Stream Productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks
10 From outermost to context-sensitive rewriting – J Endrullis, D Hendriks
5 Complexity of Fractran and productivity – Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks - 2009
29 Process Algebra: Equational Theories of Communicating Processes – J Baeten, T Basten, M Reniers - 2009
33 Recounting the rationals – N Calkin, H S Wilf
15 Ensuring Streams Flow – Alastair Telford, David Turner - 1997
19 Coalgebra semantics for hidden algebra: parameterized objects and inheritance – Corina Cirstea - 1998
2 Circular Coinduction. 2001. Short paper at – Grigore Ro¸su, Joseph Goguen
4 ON MINIMAL COALGEBRAS – H. Peter Gumm
5 Behavioural Differential Equations and Coinduction for Binary Trees – Ra Silva, Jan Rutten
27 A coinductive calculus of streams – J. J. M. M. Rutten - 2005