|
20
|
On the Productivity of Recursive List Definitions
– B A Sijtsma
- 1989
|
|
18
|
Calculus in Coinductive Form
– D. Pavlovic, M.H. Escardó
- 1998
|
|
279
|
Universal coalgebra: a theory of systems
– J. J. M. M. Rutten
- 2000
|
|
824
|
Term Rewriting and All That
– F Baader, T Nipkow
- 1998
|
|
19
|
Coalgebra semantics for hidden algebra: parameterized objects and inheritance
– Corina Cirstea
- 1998
|
|
6
|
A coalgebraic equational approach to specifying observational structures
– C Cîrstea
- 2002
|
|
2
|
Circular Coinduction. 2001. Short paper at
– Grigore Ro¸su, Joseph Goguen
|
|
3
|
ON MINIMAL COALGEBRAS
– H. Peter Gumm
|
|
4
|
Behavioural Differential Equations and Coinduction for Binary Trees
– Ra Silva, Jan Rutten
|
|
64
|
Term Rewriting Systems
– Terese
- 2003
|
|
23
|
A coinductive calculus of streams
– J. J. M. M. Rutten
- 2005
|
|
25
|
Elements Of The General Theory Of Coalgebras
– H. Peter Gumm
- 1999
|
|
4
|
Equality of Streams is a Π0 2-complete Problem
– G Ros¸u
- 2006
|
|
550
|
Term Rewriting Systems
– J. W. Klop
- 1992
|
|
41
|
The ubiquitous Prouhet-Thue-Morse sequence
– Jean-Paul Allouche, Jeffrey Shallit
- 1999
|
|
11
|
A term calculus for (co-)recursive definitions on streamlike data structures
– W Buchholz
- 2005
|
|
15
|
Filters on coinductive streams, an application to eratosthenes’ sieve
– Yves Bertot
- 2005
|
|
38
|
Mechanizing Coinduction and Corecursion in Higher-order Logic
– Lawrence C. Paulson
- 1997
|
|
11
|
Un Calcul De Constructions Infinies Et Son Application A La Verification De Systemes Communicants
– Carlos Eduardo Giménez, Suprieure De Lyon, Spcialit Informatique, Par Carlos Eduardo Gimnez, De Systemes Communicants, Roberto Amadio, Roberto Amadio, Luc Boug, Thierry Coquand, Thierry Coquand, Michel Cosnard (president, Gilles Kahn
- 1996
|
