-
1
-
-
34248140619
-
-
H. Bekić, Definable operations in general algebras, and the theory of automata and flowcharts, Technical Report IBM Vienna, 1967. Also available in: Lecture Notes in Computer Science, Vol. 177, Springer, Berlin, 1994, pp. 30-55.
-
-
-
-
2
-
-
0001251154
-
Recognizable formal power series on trees
-
Berstel J., and Reutenauer C. Recognizable formal power series on trees. Theoret. Comput. Sci. 18 (1982) 115-148
-
(1982)
Theoret. Comput. Sci.
, vol.18
, pp. 115-148
-
-
Berstel, J.1
Reutenauer, C.2
-
3
-
-
34248138404
-
-
J. Berstel, C. Reutenauer, Rational Series and their Languages, EATCS Monographs on Theoretical Computer Science, Vol. 12, Springer, Berlin, 1988.
-
-
-
-
5
-
-
34248147615
-
An extension theorem with an application to formal tree series. Weighted automata: theory and applications (Dresden, 2002)
-
Bloom S.L., and Ésik Z. An extension theorem with an application to formal tree series. Weighted automata: theory and applications (Dresden, 2002). J. Automat. Lang. Combin. 8 (2003) 145-185
-
(2003)
J. Automat. Lang. Combin.
, vol.8
, pp. 145-185
-
-
Bloom, S.L.1
Ésik, Z.2
-
6
-
-
0009274039
-
Effective construction of the syntactic algebra of a recognizable series on trees
-
Bozapalidis S. Effective construction of the syntactic algebra of a recognizable series on trees. Acta Inform. 28 (1991) 351-363
-
(1991)
Acta Inform.
, vol.28
, pp. 351-363
-
-
Bozapalidis, S.1
-
7
-
-
0033483408
-
Equational elements in additive algebras
-
Bozapalidis S. Equational elements in additive algebras. Theory Comput. Systems 32 (1999) 1-33
-
(1999)
Theory Comput. Systems
, vol.32
, pp. 1-33
-
-
Bozapalidis, S.1
-
8
-
-
34248217473
-
-
J.R. Büchi, On a decision method of restricted second-order arithmetic, in: Proc. 1960 Internat. Congress for Logic, Stanford University Press, 1962, pp. 1-12.
-
-
-
-
9
-
-
34248228641
-
-
P.M. Cohn, Universal Algebra, second ed., Mathematics and its Applications, Vol. 6, D. Reidel Publishing Co., Dordrecht, Boston, MA, 1981.
-
-
-
-
11
-
-
34248227318
-
-
J.W. De Bakker, D. Scott, A theory of programs, in: IBM Seminar, Vienna, 1969.
-
-
-
-
13
-
-
34248191207
-
-
S. Eilenberg, Automata, Languages, and Machines, Vol. A, Academic Press, New York, 1974.
-
-
-
-
14
-
-
34248148511
-
-
Z. Ésik, W. Kuich, Formal tree series, in: Weighted Automata: Theory and Applications, Dresden, 2002. J. Automat. Lang. Combin. 8 (2003) 219-285.
-
-
-
-
17
-
-
34248199315
-
Identities for globals (complex algebras) of algebras
-
Grätzer G. Identities for globals (complex algebras) of algebras. Colloq. Math. 56 (1988) 19-29
-
(1988)
Colloq. Math.
, vol.56
, pp. 19-29
-
-
Grätzer, G.1
-
18
-
-
34248167560
-
-
Y. Inagaki, T. Fukumura, On the description of fuzzy meaning of context-free language, in: Fuzzy Sets and their Applications to Cognitive and Decision Processes, Proc. U.S.-Japan Seminar, University of California, Berkeley, CA, 1974, Academic Press, New York, 1975, pp. 301-328.
-
-
-
-
19
-
-
34248230655
-
-
S.C. Kleene, Representation of events in nerve nets and finite automata, in: Automata Studies, Princeton University Press, Princeton, NJ, 1956, pp. 3-42.
-
-
-
-
20
-
-
34248143358
-
-
S. Konstantinidis, N. Santean, S. Yu, Fuzzification of rational and recognizable sets, Technical Report, University of Western Ontario, April 6, 2005.
-
-
-
-
21
-
-
33646165071
-
-
W. Kuich, G. Rahonis, Fuzzy regular languages over finite and infinite words, Fuzzy Sets and Systems 157 (2006) 1532-1549.
-
-
-
-
24
-
-
0002718609
-
Algebraic automata and context-free sets
-
Mezei J., and Wright J.B. Algebraic automata and context-free sets. Inform. and Control 11 (1967) 3-29
-
(1967)
Inform. and Control
, vol.11
, pp. 3-29
-
-
Mezei, J.1
Wright, J.B.2
-
25
-
-
84974659188
-
-
D. Niwinski, Equational μ-calculus, in: Computation Theory (Zaborów, 1984), Lecture Notes in Computer Science, Vol. 208, Springer, Berlin, 1985, pp. 169-176.
-
-
-
-
26
-
-
85026897255
-
-
D. Niwinski, On fixed-point clones (extended abstract), in: Automata, Languages and Programming (Rennes, 1986), Lecture Notes in Computer Science, Vol. 226, Springer, Berlin, pp. 464-473.
-
-
-
-
27
-
-
34248141634
-
-
D. Perrin, J.-E. Pin, Infinite Words, Pure and Applied Mathematics, Vol. 141, Elsevier, Amsterdam, 2004.
-
-
-
-
28
-
-
18444411976
-
Infinite fuzzy computations
-
Rahonis G. Infinite fuzzy computations. Fuzzy Sets and Systems 153 (2005) 275-288
-
(2005)
Fuzzy Sets and Systems
, vol.153
, pp. 275-288
-
-
Rahonis, G.1
-
30
-
-
50549180615
-
On the definition of a family of automata
-
Schützenberger M.P. On the definition of a family of automata. Inform. and Control 4 (1961) 245-270
-
(1961)
Inform. and Control
, vol.4
, pp. 245-270
-
-
Schützenberger, M.P.1
|