Title:
|
Equitran: A computer program for analysis of a nondeterministic discrete dynamic system (English) |
Author:
|
Kůrka, Petr |
Language:
|
English |
Journal:
|
Kybernetika |
ISSN:
|
0023-5954 |
Volume:
|
22 |
Issue:
|
2 |
Year:
|
1986 |
Pages:
|
189-199 |
. |
Category:
|
math |
. |
MSC:
|
93C30 |
. |
Date available:
|
2009-09-24T17:52:46Z |
Last updated:
|
2012-06-05 |
Stable URL:
|
http://hdl.handle.net/10338.dmlcz/125018 |
. |
Reference:
|
[1] A. V. Aho J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms.Addison-Wesley, Massachusetts, 1976. MR 0413592 |
Reference:
|
[2] A. T. Berztiss: Data Structures - Theory and Practice.Academic Press, New York 1975. Zbl 0317.68003, MR 0356558 |
Reference:
|
[3] P. Kůrka: Ergodic languages.Theoret. Comput. Sci. 21 (1982), 351-355. MR 0680922 |
Reference:
|
[4] A. Lindenmayer, G. Rozenberg (eds.): Automata, Languages, Development.North Holland, Amsterdam 1976. Zbl 0346.92001, MR 0451874 |
Reference:
|
[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. Zbl 0413.92003, MR 0569691 |
Reference:
|
[6] R. Thomas: Logical description, analysis and synthesis of biological and other networks comprising feedback loops.Adv. Chem. Phys. 55 (1983), 247-282. |
. |