메뉴 건너뛰기




Volumn 43, Issue 4, 2000, Pages 331-345

A general Galois theory for cofunctions and corelations

Author keywords

Bisimulation; Coalgebra; Cofunction; Corelation; Galois theory; Operation; Relation

Indexed keywords


EID: 0034355295     PISSN: 00025240     EISSN: None     Source Type: Journal    
DOI: 10.1007/s000120050163     Document Type: Article
Times cited : (8)

References (18)
  • 1
    • 0027610699 scopus 로고
    • Terminal coalgebras in well-founded set theory
    • BARR, M., Terminal coalgebras in well-founded set theory, Theoretical Computer Science, 114(2) (1993), 299-315.
    • (1993) Theoretical Computer Science , vol.114 , Issue.2 , pp. 299-315
    • Barr, M.1
  • 2
    • 0002227192 scopus 로고
    • Selective algebras and compatible varieties
    • CSÁKÁNY, B., Selective algebras and compatible varieties, Stud. Sci. Math. Hung. 19 (1984), 431-436.
    • (1984) Stud. Sci. Math. Hung. , vol.19 , pp. 431-436
    • Csákány, B.1
  • 3
    • 0002054767 scopus 로고
    • Completeness in coalgebras
    • CSÁKÁNY, B., Completeness in coalgebras, Acta Sci. Math. 48 (1985), 75-84.
    • (1985) Acta Sci. Math. , vol.48 , pp. 75-84
    • Csákány, B.1
  • 5
    • 0002001810 scopus 로고
    • Algebra valued functors in general and tensor products in particular
    • FREYD, P., Algebra valued functors in general and tensor products in particular, Colloq. Math. 14 (1966), 89-106.
    • (1966) Colloq. Math. , vol.14 , pp. 89-106
    • Freyd, P.1
  • 6
    • 0001476396 scopus 로고
    • On partial recursive definitions and programs
    • HOEHNKE, H.-J., On partial recursive definitions and programs, Lecture Notes in Computer Sci. 56 (1977), 260-274.
    • (1977) Lecture Notes in Computer Sci. , vol.56 , pp. 260-274
    • Hoehnke, H.-J.1
  • 7
    • 0002715717 scopus 로고    scopus 로고
    • Objects and classes, co-algebraically
    • B. Freitag, C. B. Jones, C. Lengauer and H. -J. Schek (eds.), Kluwer Acad. Publ.
    • JACOBS, B., Objects and classes, co-algebraically, in: Object-Orientation with Parallelism and Persistence, B. Freitag, C. B. Jones, C. Lengauer and H. -J. Schek (eds.), Kluwer Acad. Publ., 1996, 83-103.
    • (1996) Object-orientation with Parallelism and Persistence , pp. 83-103
    • Jacobs, B.1
  • 8
    • 0000892681 scopus 로고    scopus 로고
    • A tutorial on (Co)algebras and (Co)induction
    • JACOBS, B. and RUTTEN, J., A Tutorial on (Co)Algebras and (Co)Induction, Bulletin of the EATCS 62 (1996), 222-259.
    • (1996) Bulletin of the Eatcs , vol.62 , pp. 222-259
    • Jacobs, B.1    Rutten, J.2
  • 9
    • 0003805590 scopus 로고
    • W. H. Freeman and Company, New York
    • JACOBSON, N., Basic algebra II, W. H. Freeman and Company, New York, 1989.
    • (1989) Basic Algebra Ii
    • Jacobson, N.1
  • 10
    • 0001886195 scopus 로고
    • On covarieties of coalgebras
    • MARVAN, M., On covarieties of coalgebras, Arch. Math. Brno 21 (1985), 51-63.
    • (1985) Arch. Math. Brno , vol.21 , pp. 51-63
    • Marvan, M.1
  • 11
    • 8744222245 scopus 로고
    • Concrete representation of algebraic structures and a general Galois theory
    • May 1978, Verlag J. Heyn, Klagenfurt, Austria
    • PÖSCHEL, R., Concrete representation of algebraic structures and a general Galois theory, in: Contributions to General Algebra, Proc. Klagenfurt Conf., May 1978, Verlag J. Heyn, Klagenfurt, Austria 1979, 249-272.
    • (1979) Contributions to General Algebra, Proc. Klagenfurt Conf. , pp. 249-272
    • Pöschel, R.1
  • 12
    • 0004250209 scopus 로고    scopus 로고
    • Funktionen- und relationenalgebren
    • Deutscher Verlag der Wiss., Berlin 1979, Birkhäuser Verlag, Basel u. Stuttgart 1979
    • PÖSCHEL, R. and KALUŽNIN, L. A., Funktionen- und Relationenalgebren, Deutscher Verlag der Wiss., Berlin 1979, Birkhäuser Verlag, Basel u. Stuttgart 1979 (Math. Reihe Bd. 67).
    • Math. Reihe Bd. , vol.67
    • Pöschel, R.1    Kalužnin, L.A.2
  • 13
    • 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. in Comp. Science 5 (1995), 129-152.
    • (1995) Math. Struct. in Comp. Science , vol.5 , pp. 129-152
    • Reichel, H.1
  • 14
    • 0002227196 scopus 로고
    • Composition of functions of finite sets, completeness and relations, a short survey
    • D. Rine (ed.), North Holland
    • ROSENBERG, I. G., Composition of functions of finite sets, completeness and relations, a short survey, in: Multiple-valued logic and Computer Science, D. Rine (ed.), North Holland 1977, 144-187.
    • (1977) Multiple-valued Logic and Computer Science , pp. 144-187
    • Rosenberg, I.G.1
  • 16
    • 84909932581 scopus 로고
    • Initial algebra and final coalgebra semantics for concurrency
    • A Decade of Concurrency, J. W. de Bakker, W. -P. de Roever and G. Rozenberg (eds.), number 803 Springer
    • RUTTEN, J. and TURI, D., Initial algebra and final coalgebra semantics for concurrency, in: A Decade of Concurrency, J. W. de Bakker, W. -P. de Roever and G. Rozenberg (eds.), number 803 in Lecture Notes in Computer Science, Springer, 1994, 530-582.
    • (1994) Lecture Notes in Computer Science , pp. 530-582
    • Rutten, J.1    Turi, D.2
  • 17
    • 0002035860 scopus 로고
    • Maximal clones of co-operations
    • SZÉKELY, Z., Maximal clones of co-operations, Acta Sci. Math. 53 (1989), 43-50.
    • (1989) Acta Sci. Math. , vol.53 , pp. 43-50
    • Székely, Z.1
  • 18
    • 0004086198 scopus 로고
    • Les Presses de L'Université de Montréal, Montréal
    • SZENDREI, Á., Clones in universal algebra, Les Presses de L'Université de Montréal, Montréal, 1986.
    • (1986) Clones in Universal Algebra
    • Szendrei, A.1


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