-
1
-
-
0027610699
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
-
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
|