Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | Splicing semigroups of dominoes and DNA | Culik II, K., Harju, T. | ||||
Article | Zlozitost, zrozumitelnost a dokazovanie korektnosti programov a algoritmov | Gruska, J. | ||||
Article | A hierarchy of n-ratianal languages | Wechler, W. | ||||
Article | On hierarchy and closure properties of languages generated by c-grammars | Kelemenova, A., Kelemen, J. | ||||
Article | Grammars with global and local context conditions | Csuhaj-Varju, E. | ||||
Article | Symbiotic E0L systems | Meduna, A. | ||||
Article | On some variants of random context grammars | Csuhaj-Varju, E., Paun, Gh. | ||||
Article | A recognition algorithm for pushdown store systems | Aho, A.V., Hopcroft, J.E., Ullman, J.D. | ||||
Article | Construction of contextual grammars | Novotny, M. | ||||
Article | On representing RE languages by one-sided interna contextual languages | Ehrenfeucht, A., Mateescu, A., Paun, Gh., Rozenberg, G., Salomaa, A. | ||||
Article | Retracts of algebras | Novotny, M. | ||||
Article | On some relations defined by languages | Novotny, M. | ||||
Article | A Galois correspondence for digital topology | Slapal, J. | ||||
Article | Minimal position restricted grammars/relations between complexity measures | Kelemenova, A. | ||||
Article | Formalni pristup k analyze testovatelnosti cislicovych obvodu na urovni RT | Ruzicka, R. | ||||
Article | Automata for matching patterns | Crochemore, M., Hancart, C. | ||||
Article | Insertion and deletion closure of languages | Ito, M., Kari, L., Thierrin, G. | ||||
Article | Decomposable mappings | |||||
Article | Modelling Kohonen networks by attributed parallel array systems | Freund, R., Tafill, F. | ||||
Article | K-catenation and applications: k-prefix codes | Kari, L., Thierrin, G. | ||||
Article | Operators reducing generalized 0L-Systems | Novotny, M. | ||||
Article | Minimal Union-Free Decompositions of Regular Languages | Afonin, S., Golomazov, D. | ||||
Article | Analyza algoritmov a tried algoritmov | Gruska, J. | ||||
Article | Category theory and models for parallel computation | Winskel, G. | ||||
Article | Der fixpunktansatz zum beweis gewisser eigenschaften eines maschinenprogramms | Kopriva, J. | ||||
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 |