SCOPUS 정보 검색 플랫폼

Volumn 260, Issue 1-2, 2001, Pages 139-163

Parametric corecursion

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; THEOREM PROVING;

COALGEBRAS; PARAMETRIC CORECURSIONS;

BOOLEAN ALGEBRA;

EID: 0034914487 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00126-2 Document Type: Article

Times cited : (53)

References (11)

1
- 0003253658
- Non-well-founded sets
- CSLI Publications, Stanford
- (1988) CSLI Lecture Notes , vol.14
- Aczel, P.¹

3
- 0004469494
- CSLI Publications, Stanford
- (1996) Vicious Circles, CSLI Lecture Notes , vol.30
- Barwise, J.¹ Moss, L.²

4
- 0004178006
- EATCS Monographs on Theoretical Computer Science, Springer, Berlin
- (1993) Iteration Theories: The Equational Logic of Iterative Processes
- Bloom, S.L.¹ Ésik, Z.²

5
- 0032222029
- The logic of recursive equations
- (1998) J. Symb. Logic , vol.63 , Issue.2 , pp. 451-478
- Hurkens, A.J.C.¹ McArthur, M.² Moschovakis, Y.N.³ Moss, L.S.⁴ Whitney, G.⁵

6
- 19344378417
- Recursion and corecursion have the same equational logic
- ENTCS, to appear
- Proc. Mathematical Foundations of Programming Semantics , vol.20
- Moss, L.S.¹

7
- 0004532413
- Guarded induction on final coalgebras
- B. Jacobs et al. (Eds.), ENTCS
- (1998) Proc. Coalgebraic Methods in Computer Science , vol.18 , pp. 143-160
- Pavlović, D.¹

8
- 0001986854
- Universal coalgebra: A theory of systems
- (2000) Theoret. Comput. Sci. , vol.249 , pp. 3-80
- Rutten, J.J.M.M.¹

10
- 0030684322
- Towards a mathematical operational semantics
- IEEE Press, New York
- (1997) Proc. LICS '97 , pp. 280-291
- Turi, D.¹ Plotkin, G.²

11
- 85022954743
- On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
- (1998) Math. Struct. Comput. Sci. , vol.8 , Issue.5 , pp. 481-540
- Turi, D.¹ Rutten, J.J.M.M.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.