Type | Title | Author | Publisher | Year | ||
---|---|---|---|---|---|---|
Article | O zlozitosti algoritmov II. oprimalne algoritmy | Gruska, J. | 1974 | |||
Article | Zlozitost, zrozumitelnost a dokazovanie korektnosti programov a algoritmov | Gruska, J. | ||||
Article | Analyza algoritmov a tried algoritmov | Gruska, J. | ||||
Article | Analyza algoritmov a tried algoritmov | Gruska, J. | ||||
Article | Efektivnost algoritmov softwarovych systemov I. | Bousa, J. et al. | 1976 | |||
Article | Beziehungen zwischen Zeitkomplexitatsklassen und Kellerautomaten mit Zahlern | Monien, B. | 1971 | |||
Article | Uber die Effizienz von Tabulator-Turingmaschinen mit beschrankter Markenzahl im Vergleich zu anderen Maschinenmodellen | Weicker, R., Monien, B. | 1970 | |||
Article | Testing for grammatical coverings | Rozenkrantz, D.J., Hunt, H.B. | 1983 | |||
Article | Metodika programovani a efektivnost vypoctu | Kopriva, J. | 1990 | |||
Article | Rekurzivni funkce a rekurzivni programy | Kopriva, J. | 1974 | |||
Article | Decidability and density in two-symbol grammar forms | Maurer, H.A., Salomaa, A., Wood, D. | 1979 | |||
Article | Operating System Concepts | Silberschatz, A., Peterson, J., Galvin, P. | 1991 | |||
Article | Depolarizing mathematics and religion | Voss, S. | ||||
Article | On the possibility of mathematical revolutions | Kenney, E. | ||||
Article | Heterogeneous Data Translations Based on Environment Grammars | Ruschitzka, M., Clevenger, J.L. | 1989 | |||
Article | On multiple context-free grammars | Seki, H., Matsumura, T., Fujii, M., Kasami, T. | 1991 | |||
Article | On some families of languages related to developmental systems | Culik Ii, K. | 1973 | |||
Article | On generators and generative capacity of E0L forms | Maurer, H.A., Salomaa, A., Wood, D. | 1978 | |||
Article | Markov deterministic tabled 0L systems | Jurgensen, H., Matthews, D., Wood, D. | 1979 | |||
Article | Synchronized E0L forms under uniform interpretation | Maurer, H.A., Salomaa, A., Wood, D. | 1978 | |||
Article | Uber erkennbare und rationale mengen in freien partiell kommutativen monoiden | Fischer, W. | 1986 | |||
Article | Complete systems of B-rational identities in TCS volume 89, no. 2 | Krob, D. | 1991 | |||
Article | On kleene algebras and closed semirings | Kozen, D. | 1990 | |||
Article | Analytico-referentiality and legitimation in modern mathematics | Roussopoulos, G. | ||||
Article | Intuitionism as generalization | Richman, F. | ||||
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 |