SCOPUS 정보 검색 플랫폼

Volumn 260, Issue 1-2, 2001, Pages 57-69

Equational and implicational classes of coalgebras

Author keywords

Birkhoff; Co implication; Coalgebra; Coequation; Covariety; Mal'cev; Quasi covariety

Indexed keywords

COMPUTATIONAL COMPLEXITY; THEOREM PROVING;

BIRKHOFF THEORY; COALGEBRA; QUASI-COVARIETY;

ALGEBRA;

EID: 0034914486 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00122-5 Document Type: Article

Times cited : (12)

References (7)

1
- 0027610699
- Terminal coalgebras in well-founded set theory
- (1993) Theor. Comput. Sci. , vol.114 , Issue.2 , pp. 299-315
- Barr, M.¹

2
- 4243354823
- Algebra Universalis to appear
- Functors for coalgebras
- Gumm, H.P.¹

3
- 19044376272
- Covarieties and complete covarieties
- B. Jacobs, et al., (Eds.), Coalgebraic Methods in Computer Science, Elsevier, Amsterdam
- (1998) Electronic Notes in Theoretical Computer Science , vol.11 , pp. 43-56
- Gumm, H.P.¹ Schröder, T.²

4
- 0002715717
- Objects and classes, co-algebraically
- B. Freitag, et al., (Eds.), Kluwer Academic Publishers, Dordrecht
- (1996) Object-Orientation with Parallelism and Persistence , pp. 83-103
- Jacobs, B.¹

5
- 0001886195
- On covarieties of coalgebras
- (1985) Arch. Math. (Brno) , vol.21 , Issue.1 , pp. 51-64
- Marvan, M.¹

6
- 84976111956
- An approach to object semantics based on terminal co-algebras
- (1995) Math. Struct. Comp. Sci. , vol.5 , pp. 129-152
- Reichel, H.¹

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

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