Previous |  Up |  Next

Article

References:
[1] J. Beneš: Teorie systémů. Academia, Praha 1974.
[2] R. Bek: Logika pro kurs automatizovaných systémů. ČVUT, Praha 1976.
[3] J. Ježek: Univerzální algebra a teorie modelů. SNTL, Praha 1976. MR 0546057
[4] J. B. Novik: O modelirovanii složnych sistem. Moskva 1972.
[5] H. Starke: Abstrakte Automaten. Akademie-Verlag, Berlin 1965.
Partner of
EuDML logo