-
2
-
-
0002685545
-
Relatively free profinite monoids: An introduction and examples
-
Semigroups, Formal Languages and Groups, ed. J. Fountain, Kluwer Academic
-
J. Almeida and P. Weil, Relatively free profinite monoids: An introduction and examples, in Semigroups, Formal Languages and Groups, ed. J. Fountain, NATO ASI Series C-466, Kluwer Academic, 1995, pp. 73-117.
-
(1995)
NATO ASI Series C-466
, pp. 73-117
-
-
Almeida, J.1
Weil, P.2
-
3
-
-
0008932222
-
Generalized ultrametric spaces: Completion, topology and powerdomains via the Yoneda embedding
-
M. M. Bonsangue, F. van Breugel and J. J. M. M. Rutten, Generalized ultrametric spaces: Completion, topology and powerdomains via the Yoneda embedding, Theor. Comp. Sci. 193 (1998) 1-51.
-
(1998)
Theor. Comp. Sci.
, vol.193
, pp. 1-51
-
-
Bonsangue, M.M.1
Van Breugel, F.2
Rutten, J.J.M.M.3
-
5
-
-
0347822672
-
Fonctions rationnelles et distances discrètes
-
ed. M. Lothaire, Hermes, Paris
-
Ch. Choffrut, Fonctions rationnelles et distances discrètes in Mots - Mélanges offerts à M. P. Schützenberg er, ed. M. Lothaire, Hermes, Paris, 1990, pp. 314-327.
-
(1990)
Mots - Mélanges Offerts À M. P. Schützenberg er
, pp. 314-327
-
-
Choffrut, Ch.1
-
6
-
-
0001787452
-
Another class of completable quasi-uniform spaces
-
D. Doitchinov, Another class of completable quasi-uniform spaces, Comp. Rend. Acad. Bulgare Sci. 44 (3) (1990), 5-6.
-
(1990)
Comp. Rend. Acad. Bulgare Sci.
, vol.44
, Issue.3
, pp. 5-6
-
-
Doitchinov, D.1
-
7
-
-
0001050463
-
A concept of completeness of quasi-uniform spaces
-
D. Doitchinov, A concept of completeness of quasi-uniform spaces. Topology Appl. 38 (1991) 205-217.
-
(1991)
Topology Appl.
, vol.38
, pp. 205-217
-
-
Doitchinov, D.1
-
8
-
-
0004277611
-
-
Academic Press, New York
-
S. Eilenberg, Automata, languages and machines, Vol. B, Academic Press, New York, 1976.
-
(1976)
Automata, Languages and Machines
, vol.B
-
-
Eilenberg, S.1
-
10
-
-
84934460955
-
Certain finitely generated compact zero-dimensional semigroups
-
R. Hunter, Certain finitely generated compact zero-dimensional semigroups, J. Austral. Math. Soc. (Series A) 44 (1988), 265-270.
-
(1988)
J. Austral. Math. Soc. (Series A)
, vol.44
, pp. 265-270
-
-
Hunter, R.1
-
11
-
-
84976109344
-
Sobrification and bicompletion of totally bounded quasi-uniform spaces
-
H. Künzi and G. Brummer., Sobrification and bicompletion of totally bounded quasi-uniform spaces, Math. Proc. Camb. Phil. Soc. 101 (1987), 237-247.
-
(1987)
Math. Proc. Camb. Phil. Soc.
, vol.101
, pp. 237-247
-
-
Künzi, H.1
Brummer, G.2
-
12
-
-
0003995581
-
-
Masson, Paris. English translation: Varieties of formal languages, North Oxford, London, and Plenum, New York, 1986
-
J.-E. Pin, Variétés de langages formels, Masson, Paris, 1984. English translation: Varieties of formal languages, North Oxford, London, and Plenum, New York, 1986.
-
(1984)
Variétés de Langages Formels
-
-
Pin, J.-E.1
-
14
-
-
0001335331
-
Syntactic semigroups
-
eds. G. Rozenberg and A. Salomaa, Springer
-
J.-E. Pin, Syntactic semigroups, in Handbook of language theory, eds. G. Rozenberg and A. Salomaa, Springer (1997).
-
(1997)
Handbook of Language Theory
-
-
Pin, J.-E.1
-
15
-
-
51249179980
-
The Birkhoff theorem for finite algebras
-
J. Reiterman, The Birkhoff theorem for finite algebras, Algebra Universalis 14 (1982), 1-10.
-
(1982)
Algebra Universalis
, vol.14
, pp. 1-10
-
-
Reiterman, J.1
-
16
-
-
0030408301
-
Elements of generalized ultrametric domain theory
-
J. J. M. M. Rutten, Elements of generalized ultrametric domain theory, Theor. Comp. Sci. 170 (1996), 349-381.
-
(1996)
Theor. Comp. Sci.
, vol.170
, pp. 349-381
-
-
Rutten, J.J.M.M.1
-
17
-
-
0041392704
-
Quasi-metrics and fixed points in computing
-
A. K. Seda, Quasi-metrics and fixed points in computing, Bull. EATCS 60 (1996), 154-163.
-
(1996)
Bull. EATCS
, vol.60
, pp. 154-163
-
-
Seda, A.K.1
-
18
-
-
38249028350
-
Partially ordered finite monoids and a theorem of I. Simon
-
H. Straubing and D. Thérien, Partially ordered finite monoids and a theorem of I. Simon, J. Algebra 119 (1985), 393-399.
-
(1985)
J. Algebra
, vol.119
, pp. 393-399
-
-
Straubing, H.1
Thérien, D.2
-
19
-
-
0000175193
-
The Smyth-completion of a quasi-uniform space
-
Semantics of Programming Languages and Model Theory, eds. M. Droste and Y. Gurevich, Gordon and Breach Science Publ., Montreux
-
P. Sünderhauf, The Smyth-completion of a quasi-uniform space, in Semantics of Programming Languages and Model Theory, eds. M. Droste and Y. Gurevich, Vol. 5 of Algebra, Logic and Applications, Gordon and Breach Science Publ., Montreux, 1993, pp. 189-212.
-
(1993)
Algebra, Logic and Applications
, vol.5
, pp. 189-212
-
-
Sünderhauf, P.1
-
20
-
-
0002253239
-
Quasi-uniform completeness in terms of Cauchy nets
-
P. Sünderhauf, Quasi-uniform completeness in terms of Cauchy nets, Acta Math. Hungarica 69 (1995), 47-54.
-
(1995)
Acta Math. Hungarica
, vol.69
, pp. 47-54
-
-
Sünderhauf, P.1
-
21
-
-
0029403421
-
A faithful computational model of the real numbers
-
P. Sünderhauf, A faithful computational model of the real numbers, Theor. Comp. Sci. 151 (1995), 277-294.
-
(1995)
Theor. Comp. Sci.
, vol.151
, pp. 277-294
-
-
Sünderhauf, P.1
|