Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Misc | sasdf | |||||
Article | Dobre a rozkladove prekladani na pocitaci | Kopriva, J. | ||||
Article | Die gute und Zerlegungsubersetzung der formalen Sprachen und die endliche Semantik | Kopriva, J. | 1975 | |||
Article | Context-sensitive translations | Kopriva, J. | 1975 | |||
Article | The system LISP-MANIP-TESLA and its application | Kopriva, J. | 1975 | |||
Article | Formalni manipulace s omezenymi prostredky | Kopriva, J. | 1975 | |||
Article | Symbolicke operace s vyrazy na pocitaci MINSK 22 | Kopriva, J., Pinkas, J. | 1974 | |||
Article | Formalni manipulace s vyrazy na pocitaci minsk 22 | Kopriva, J. | 1973 | |||
Article | Attributierte grammatiken | Wilhelm, R. | 1979 | |||
Article | System TELMA | Kopriva, J. | ||||
Article | Thinning context-free languages | Webber, A.B. | 1992 | |||
Article | Formula manipulation system on minsk-22 computer | Kopriva, J., Pinkas, J. | 1977 | |||
Article | LISP-ansatz zur ubersetzung der regelsprachen | Kopriva, J. | 1976 | |||
Article | An annotated bibliography on parallel parsing | de Vreught, J.P.M. | 1991 | |||
Article | Zarys logiki formalnej | Wiegner, A. | 1960 | |||
Article | Stochastische 0L-systeme | Schaffler, G. | 1976 | |||
Article | Eine Hierarchie der Ubersetzungen mit Kellermaschinen | Kopriva, J. | 1976 | |||
Article | Decomposition translations and pushdown assembler | Kopriva, J. | 1971 | |||
Article | Recurrent words and simultaneous growth in T0L systems | Lange, K.-J., Welzl, E. | 1982 | |||
Article | Compilation der ausdrucke im formelverarbeitungssystem TELISYM | Kopriva, J. | 1978 | |||
Article | On the power of periodic iteration of morhpisms | Lepisto, A. | ||||
Article | Repetitions in Kolakoski sequence | Lepisto, A. | ||||
Article | On morhpically generated formal power series | Honkala, J. | ||||
Article | The control of discrete event systems | Ramadge, P.J.G., Wonham, W.M. | 1989 | |||
Article | Towards verifying distributed systems using object-oriented petri nets | Ceska, M., Janousek, V., Vojnar, T. | ||||
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 |