-
1
-
-
80051905264
-
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
-
4
-
-
0039710925
-
Notes on equational theories of relations
-
Bloom, S. L., Esik, Z. and Stefanescu, Gh., Notes on equational theories of relations. Algebra Universalis 33 (1995), 98-126.
-
(1995)
Algebra Universalis
, vol.33
, pp. 98-126
-
-
Bloom, S.L.1
Esik, Z.2
Stefanescu, Gh.3
-
5
-
-
0031165726
-
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
-
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
-
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
-
12
-
-
0000664277
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
21
-
-
0004202602
-
-
Wadsworth & Brooks/Cole
-
McKenzie, R. N., McNulty, G. F. and Taylor, W. F., "Algebras, Lattices, Varieties", Vol. I. Wadsworth & Brooks/Cole, 1987.
-
(1987)
Algebras, Lattices, Varieties
, vol.1
-
-
McKenzie, R.N.1
McNulty, G.F.2
Taylor, W.F.3
-
23
-
-
0000818372
-
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
-
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
|