Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | Some remarks concerning the complexity of sorting and searching in an orthogonal memory | Schneider, H.J. | 1984 | |||
Article | A recursive procedure for compiling expressions | Fabian, V. | 1963 | |||
Article | Commentationes mathematicae, vol. 6, fasc. 3 | Svec, A. | 1965 | |||
Article | Towards a General Concept of Hypercodes | Prodinger, H., Thierrin. G. | 1983 | |||
Article | A note on exponential density of ET0L languages | Meduna, A. | 1986 | |||
Article | A note on the degree of nondeterminism | Bordihn, H., Dassow, J. | 1993 | |||
Article | A syntax directed translation algorithm for ALGOL-like languages | Vinar, J. | 1966 | |||
Article | Boundery NLC Graph Grammars---Basic Definitions, Normal Forms, and Complexity | Rozenberg, G., Welzl, E. | 1986 | |||
Article | A Decomposition Theorem for Convexity Spaces | Rawlins, G.J.E., Wood, D. | 1989 | |||
Article | Some decidable properties of Sigma-rational and Sigma-algebraic tree transformations | Steinby, M. | 1984 | |||
Article | Grammar functors and covers: from non-left-recursive to Greibach normal form grammars | Nijholt, A. | 1979 | |||
Article | On some categories of sequential spaces | Slapal, J. | 1996 | |||
Article | O hrubych mnozinach | Novotny, J. | ||||
Article | On languages generated by some types of algorithms | Culik, K. | 1966 | |||
Article | Uber die primitiv-rekursivitat einiger den aufbau von formeln charakterisierenden wortfunktionen | Peter, R. | 1963 | |||
Article | The Contour Problem for Polygons | Ottmann, Th., Wood, D. | 1984 | |||
Article | Surface tree languages and parallel derivation trees | Engelfriet, J. | 1976 | |||
Article | Relatives of 3-permutability and principal tolerance trivial varieties | Chajda, I. | 1982 | |||
Article | Jazykove promenne v rozhodovacim procesu | Kopriva, J. | 1985 | |||
Article | Dynamical Sets of Points | Ottmann, Th., Wood, D. | 1982 | |||
Article | Isomorphism, form equivalence and sequence equivalence of PD0L forms | Culik Ii, K., Maurer, H.A., Ottmann, Th., Ruohonen, K., Salomaa, A. | 1978 | |||
Article | Two-way Balloon Automata and AFL | Ginsburg, S., Hopcroft, J. | 1970 | |||
Article | Finding Rectangle Intersections | Guting, R.H., Wood, D. | 1983 | |||
Article | On Efficient Entreeings | Amerins, P.S., Baeza-Yates, R.A., Wood, D. | 1988 | |||
Article | Closure operations for digital topology | Slapal, J. | 2003 | |||
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 |