Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
Kybernetika, Tome 22 (1986) no. 2, pp. 189-199 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 93C30
@article{KYB_1986_22_2_a6,
     author = {K\r{u}rka, Petr},
     title = {Equitran: {A} computer program for analysis of a nondeterministic discrete dynamic system},
     journal = {Kybernetika},
     pages = {189--199},
     year = {1986},
     volume = {22},
     number = {2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/}
}
TY  - JOUR
AU  - Kůrka, Petr
TI  - Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
JO  - Kybernetika
PY  - 1986
SP  - 189
EP  - 199
VL  - 22
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/
LA  - en
ID  - KYB_1986_22_2_a6
ER  - 
%0 Journal Article
%A Kůrka, Petr
%T Equitran: A computer program for analysis of a nondeterministic discrete dynamic system
%J Kybernetika
%D 1986
%P 189-199
%V 22
%N 2
%U http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/
%G en
%F KYB_1986_22_2_a6
Kůrka, Petr. Equitran: A computer program for analysis of a nondeterministic discrete dynamic system. Kybernetika, Tome 22 (1986) no. 2, pp. 189-199. http://geodesic.mathdoc.fr/item/KYB_1986_22_2_a6/

[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley, Massachusetts, 1976. | MR

[2] A. T. Berztiss: Data Structures - Theory and Practice. Academic Press, New York 1975. | MR | Zbl

[3] P. Kůrka: Ergodic languages. Theoret. Comput. Sci. 21 (1982), 351-355. | MR

[4] A. Lindenmayer, G. Rozenberg (eds.): Automata, Languages, Development. North Holland, Amsterdam 1976. | MR | Zbl

[5] R. Thomas (ed.): Kinetic Logic, a Boolean Approach to the Analysis of Complex Regulatory Systems. (Lecture Notes in Biomathematics 29.) Springer-Verlag, Berlin 1979. | MR | Zbl

[6] R. Thomas: Logical description, analysis and synthesis of biological and other networks comprising feedback loops. Adv. Chem. Phys. 55 (1983), 247-282.