Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | Type division of position restricted grammars and sizes of languages | Kelemenova, A. | 1983 | |||
Article | Uber die Effizienz von Tabulator-Turingmaschinen mit beschrankter Markenzahl im Vergleich zu anderen Maschinenmodellen | Weicker, R., Monien, B. | 1970 | |||
Article | Uber die Rekursivitat einiger ubersetzungs-transformationen | Peter, R. | 1962 | |||
Article | Uber die primitiv-rekursivitat einiger den aufbau von formeln charakterisierenden wortfunktionen | Peter, R. | 1963 | |||
Article | Uber die rekursivitat einiger ubersetzungs-transformationen II. Mitteilung: verwendung einer linearisierungsweise des kantorowitschschen ausdrucks-graphen | Peter, R. | 1962 | |||
Article | Uber die sequenzielle berechenbarkeit von rekursiven wortfunktionen durch kellerspeicher | Peter, R. | 1965 | |||
Article | Uber die „kurzeste“ form von booleschen funktionen | Peter, R. | 1962 | |||
Article | Uber einen roboter namens SHRDLU oder das verstehen naturlicher sparche | Pala, K. | 1988 | |||
Article | Uber einige eigenschaften der zerlugungsubersetzung | Kopriva, J. | 1976 | |||
Article | Uber einige eigenschaften der zerlugungsubersetzung | Kopriva, J. | 1980 | |||
Article | Uber endlich charakterisierbare sprachen | Novotny, M. | 1965 | |||
Article | Uber endlich charakterisierbare sprachen | Novotny, M. | 1965 | |||
Article | Uber erkennbare und rationale mengen in freien partiell kommutativen monoiden | Fischer, W. | 1986 | |||
Article | Undecidability of CA classification schemes | Culik II, K., Yu, S. | 1988 | |||
Article | Undecidability of the equivalence of finite substitutions on regular language | Halava, H., Harju, T. | 1998 | |||
Article | Uniform Interpretations of grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Uniform algebraic specifications of finite sets with equality | Bergstra, J.A., Mauw, S., Wiedijk, F. | 1991 | |||
Article | Uniform interpretations of L forms | Maurer, H.A., Salomaa, A., Wood, D. | 1978 | |||
Article | Uniform interpretations of grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1981 | |||
Article | Unique decipherability relative to a language | Head, T. | 1980 | |||
Article | Universal algebra for computer scientists | Wechler, W. | 1992 | |||
Article | Untersuchungen zur detektion und lokalisation markanter punkte in farbbildern | Bartsch, T. | 1987 | |||
Article | Using NLC-grammars to formalise the take/grant and send/receive security models | de Villiers, D.P., von Solms, S.H. | 2000 | |||
Article | Uvod do dejin rysovani a zobrazovacich nauk | Kaderavek, F. | 1954 | |||
Article | Valence GSM-mappings | Marcus, M., Paun, Gh. | 1987 | |||
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 |