Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | JL systems with non-fragmented axioms: the hierarchy | Ruohonen, K. | 1975 | |||
Article | Set-theoretic concepts in programming languages and their implementation | Schneider, H.J. | 1980 | |||
Article | Uniform algebraic specifications of finite sets with equality | Bergstra, J.A., Mauw, S., Wiedijk, F. | 1991 | |||
Article | Bounded Push Down Automata | Rovan, B. | 1969 | |||
Article | On some parameters occuring in certain effective constructions of grammars | Paun, Gh., Novotny, M. | 1987 | |||
Article | Some Theorems on Labelled Bracketings Used in Transformational Grammars | Culik, K. | 1968 | |||
Article | Effective constructions of grammars | Novotny, M. | 1988 | |||
Article | Structural Unambiguity of Formal Languages | Fabian, V. | 1964 | |||
Article | Developmental systems with fragmentation | Rozenberg, G., Ruohonen, K., Salomaa, A. | 1976 | |||
Article | A model for the Formal Definition of Programming Languages | Culik II, K. | 1973 | |||
Article | Undecidability of CA classification schemes | Culik II, K., Yu, S. | 1988 | |||
Article | Simple E0L forms under uniform interpretation generating CF languages | Albert, J., Maurer, H.A., Rozenberg, G. | 1979 | |||
Article | Drawing trees nicely with TeX | Bruggemann-Klein, A., Wood, D. | 1987 | |||
Article | Roughly Sorting: A Generalization of Sorting | Igarashi, Y., Wood, D. | 1987 | |||
Article | Problems concerning solution of steady and unsteady groundwater flow by statistical methods | Halek, V., Novak, M. | ||||
Article | A New Measure of Presortedness | Estival-Castro, V., Wood, D. | 1987 | |||
Article | On some algebraic concepts of mathematical linguistics | Novotny, M. | ||||
Article | Searching with Uncerainty | Baeza-Yates, R.A., Culberson, J.C., Rawlins, G.J.E. | 1987 | |||
Article | Concise description of finite languages | Bucher, W., Maurer, H.A., Culik II, K., Wotschke, D. | 1981 | |||
Article | A Dynamic Fixed Windowing Problem | Klein, R., Nurmi, O., Ottmann, T., Wood, D. | 1987 | |||
Article | On a variant of a method of Berstel's and Nielsen's | Ruohonen, K. | 1981 | |||
Article | The Last Algol Bulletin no. 52 | Lindsey, C.H. | 1988 | |||
Article | Algebraic structures of mathematical linguistics | Novotny, M. | 1968 | |||
Article | Information Capability of a Database Schema | Duzi, M., Materna, P., Stanicek, Z. | 1988 | |||
Article | On minimal graphs | Fellner, W.D. | 1982 | |||
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 |