-
1
-
-
84972211604
-
Quantales, observational logic, and process semantics
-
S. Abramsky, and S. Vickers Quantales, observational logic, and process semantics Math. Struct. Comput. Sci. 3 3 1993 161 227
-
(1993)
Math. Struct. Comput. Sci.
, vol.3
, Issue.3
, pp. 161-227
-
-
Abramsky, S.1
Vickers, S.2
-
2
-
-
0037421558
-
Algebraic aspects of families of fuzzy languages
-
P.R.J. Asveld Algebraic aspects of families of fuzzy languages Theoret. Comput. Sci. 293 2003 417 445
-
(2003)
Theoret. Comput. Sci.
, vol.293
, pp. 417-445
-
-
Asveld, P.R.J.1
-
4
-
-
32144438200
-
Automi e categorie chiuse
-
R. Betti Automi e categorie chiuse Boll. Un. Mat. Italiana 5 1980 44 88
-
(1980)
Boll. Un. Mat. Italiana
, vol.5
, pp. 44-88
-
-
Betti, R.1
-
6
-
-
0004277611
-
-
Academic Press, New York
-
S.Eilenberg, Automata, Languages, and Machines, Academic Press, New York, vol. A,B, 1974.
-
(1974)
Automata, Languages, and Machines
, vol.A AND B
-
-
Eilenberg, S.1
-
9
-
-
0003220006
-
An extension of the Galois theory of grothendieck
-
American Mathematical Society
-
A. Joyal, M. Tierney, An Extension of the Galois Theory of Grothendieck, AMS memoirs, No. 309, American Mathematical Society, 1984.
-
(1984)
AMS Memoirs
, Issue.309
-
-
Joyal, A.1
Tierney, M.2
-
11
-
-
32144442429
-
Decompositions of automata and enriched category theory
-
S. Kasangian, and R. Rosebrugh Decompositions of automata and enriched category theory Cahiers Toplogie Geom. Differential XXVII 4 1986 137 143
-
(1986)
Cahiers Toplogie Geom. Differential
, vol.27
, Issue.4
, pp. 137-143
-
-
Kasangian, S.1
Rosebrugh, R.2
-
12
-
-
32144461066
-
Glueing enriched modules and the composition of automata
-
S. Kasangian, and R. Rosebrugh Glueing enriched modules and the composition of automata Cahiers Toplogie Geom. Differential XXXI 4 1990 283 290
-
(1990)
Cahiers Toplogie Geom. Differential
, vol.31
, Issue.4
, pp. 283-290
-
-
Kasangian, S.1
Rosebrugh, R.2
-
13
-
-
0010982006
-
Quantales and the process semantics of bisimulation
-
Y.M. Li, and Z.H. Li Quantales and the process semantics of bisimulation Acta Math. Sinica 42 2 1999 313 320 (in Chinese)
-
(1999)
Acta Math. Sinica
, vol.42
, Issue.2
, pp. 313-320
-
-
Li, Y.M.1
Li, Z.H.2
-
14
-
-
4244011741
-
Noncommutative linear logic and its quantale semantics
-
in Chinese
-
Y.M. Li, Noncommutative linear logic and its quantale semantics, Journal of Shaanxi Normal University, Natural Science Edition, vol. 29(12), 2001, pp. 1-5 (in Chinese).
-
(2001)
Journal of Shaanxi Normal University, Natural Science Edition
, vol.29
, Issue.12
, pp. 1-5
-
-
Li, Y.M.1
-
15
-
-
0037168439
-
Projective objects and injective objects in the category of quantales
-
Y.M. Li, M. Zhou, and Z.H. Li Projective objects and injective objects in the category of quantales J. Pure Appl. Algebra 176 2-3 2002 249 258
-
(2002)
J. Pure Appl. Algebra
, vol.176
, Issue.2-3
, pp. 249-258
-
-
Li, Y.M.1
Zhou, M.2
Li, Z.H.3
-
16
-
-
24944554023
-
Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids
-
Y.M. Li, W. Pedrycz, Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Fuzzy Sets and Systems 156 (2005) 68-92.
-
(2005)
Fuzzy Sets and Systems
, vol.156
, pp. 68-92
-
-
Li, Y.M.1
Pedrycz, W.2
-
18
-
-
9644261552
-
Semigroup homomorphisms and fuzzy automata
-
J. Močkoř Semigroup homomorphisms and fuzzy automata Soft Comput. 6 2002 423 427
-
(2002)
Soft Comput.
, vol.6
, pp. 423-427
-
-
Močkoř, J.1
-
20
-
-
0026419165
-
Equivalence, reduction and minimization of finite automata over semirings
-
K. Peeva Equivalence, reduction and minimization of finite automata over semirings Theoret. Comput. Sci. 88 1991 269 285
-
(1991)
Theoret. Comput. Sci.
, vol.88
, pp. 269-285
-
-
Peeva, K.1
-
23
-
-
49949122656
-
Maximin automata
-
E.S. Santos Maximin automata Inform. Control 12 1968 367 377
-
(1968)
Inform. Control
, vol.12
, pp. 367-377
-
-
Santos, E.S.1
|