메뉴 건너뛰기




Volumn 14, Issue 4, 2000, Pages 583-595

On Kleene algebras of ternary co-relations

Author keywords

[No Author keywords available]

Indexed keywords


EID: 30844460593     PISSN: 0324721X     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article
Times cited : (1)

References (25)
  • 1
    • 80051905264 scopus 로고
    • A final coalgebra theorem
    • eds. D. H. Pitt et al., Lecture Notes Comput. Sci., Springer-Verlag
    • Aczel, P. and Mendier, N. P., A final coalgebra theorem. In: eds. D. H. Pitt et al., "Category Theory and Computer Science", Lecture Notes Comput. Sci., Vol. 389, pp. 357-365, Springer-Verlag, 1989.
    • (1989) Category Theory and Computer Science , vol.389 , pp. 357-365
    • Aczel, P.1    Mendier, N.P.2
  • 5
    • 0031165726 scopus 로고    scopus 로고
    • The equational logic of fixed points
    • Bloom, S. L. and Esik, Z., The equational logic of fixed points. Theoret. Comput. Sci. 179 (1997), 1-60.
    • (1997) Theoret. Comput. Sci. , vol.179 , pp. 1-60
    • Bloom, S.L.1    Esik, Z.2
  • 8
    • 0001292473 scopus 로고    scopus 로고
    • The variety of Kleene algebras with conversion is not finitely based
    • Crvenković, S., Dolinka, I. and Ésik, Z., The variety of Kleene algebras with conversion is not finitely based. Theoret. Comput. Sci. 230 (2000), 235-245.
    • (2000) Theoret. Comput. Sci. , vol.230 , pp. 235-245
    • Crvenković, S.1    Dolinka, I.2    Ésik, Z.3
  • 9
    • 0002054767 scopus 로고
    • Completeness in coalgebras
    • Szeged
    • Csákány, B., Completeness in coalgebras. Acta Sci. Math. (Szeged) 48 (1985), 75-84.
    • (1985) Acta Sci. Math. , vol.48 , pp. 75-84
    • Csákány, B.1
  • 11
    • 84972525391 scopus 로고
    • Adjoint functors and triples
    • Eilenberg, S. and Moore, J. C., Adjoint functors and triples. Illinois J. Math. 9 (1965), 381-398.
    • (1965) Illinois J. Math. , vol.9 , pp. 381-398
    • Eilenberg, S.1    Moore, J.C.2
  • 12
    • 0000664277 scopus 로고    scopus 로고
    • Group axioms for iteration
    • Ésik, Z., Group axioms for iteration. Inform. Comput. 148 (1999), 131-180.
    • (1999) Inform. Comput. , vol.148 , pp. 131-180
    • Ésik, Z.1
  • 13
    • 0029183712 scopus 로고
    • Equational properties of Kleene algebras of relations with conversion
    • Ésik, Z. and Bernátsky, L., Equational properties of Kleene algebras of relations with conversion. Theoret. Comput. Sci. 137 (1995), 237-251.
    • (1995) Theoret. Comput. Sci. , vol.137 , pp. 237-251
    • Ésik, Z.1    Bernátsky, L.2
  • 14
    • 0002715717 scopus 로고    scopus 로고
    • Objects and classes, co-algebraically
    • eds. B. Freitag et al., Kluwer Academic Publishers
    • Jacobs, B., Objects and classes, co-algebraically. In: eds. B. Freitag et al., "Object-Orientation with Paralelism and Persistance", pp. 83-103, Kluwer Academic Publishers, 1996.
    • (1996) Object-Orientation with Paralelism and Persistance , pp. 83-103
    • Jacobs, B.1
  • 15
    • 0000892681 scopus 로고    scopus 로고
    • A tutorial on (co)algebra and (co)induction
    • Jacobs, B. and Rutten, J. J. M. M., A tutorial on (co)algebra and (co)induction. EATCS Bull. 62 (1997), 222-259.
    • (1997) EATCS Bull. , vol.62 , pp. 222-259
    • Jacobs, B.1    Rutten, J.J.M.M.2
  • 16
    • 0000736892 scopus 로고
    • The theory of binary relations
    • eds. H. Andréka, J. D. Monk and I. Németi, Budapest, Colloq. Math. Soc. János Bolyai, North-Holland
    • Jónsson, B., The theory of binary relations. In: eds. H. Andréka, J. D. Monk and I. Németi, "Algebraic Logic" (Budapest, 1988), Colloq. Math. Soc. János Bolyai, Vol. 54, pp. 245-292, North-Holland, 1991.
    • (1988) Algebraic Logic , vol.54 , pp. 245-292
    • Jónsson, B.1
  • 17
    • 84966208165 scopus 로고
    • Every standard construction is induced by a pair of adjoint functors
    • Kleisli, H., Every standard construction is induced by a pair of adjoint functors. Proc. Amer. Math. Soc. 16 (1965), 544-546.
    • (1965) Proc. Amer. Math. Soc. , vol.16 , pp. 544-546
    • Kleisli, H.1
  • 19
    • 0026237826 scopus 로고
    • Complete systems of B-rational identities
    • Krob, D., Complete systems of B-rational identities. Theoret. Comput. Sci. 89 (1991), 207-343.
    • (1991) Theoret. Comput. Sci. , vol.89 , pp. 207-343
    • Krob, D.1
  • 23
    • 0000818372 scopus 로고
    • On defining relations for the algebra of regular events
    • Redko, V. N., On defining relations for the algebra of regular events (in Russian). Ukrainian Math. J. 16 (1964), 120-126.
    • (1964) Ukrainian Math. J. , vol.16 , pp. 120-126
    • Redko, V.N.1
  • 24
    • 84976111956 scopus 로고
    • An approach to object semantics based on terminal co-algebras
    • Reichel, H., An approach to object semantics based on terminal co-algebras. Math. Struct. Comput. Sci. 5 (1995), 129-152.
    • (1995) Math. Struct. Comput. Sci. , vol.5 , pp. 129-152
    • Reichel, H.1


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