Mathematical Foundations of Computer Science 1979: Proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3–7, 1979 von Bečvář, Jiří

Volltext

Mathematical Foundations of Computer Science 1975 4th Symposium, Mariánské Lázně, September 1–5, 1975 von Bečvář, Jíří

Volltext

Full abstraction for a simple parallel programming language von Hennessy, M. C. B., Plotkin, G. D.

Volltext

Fast probabilistic algorithms von Freivalds, Rūsiņš

Volltext

Review: Patrick C. Fischer, Albert R. Meyer, Arnold L. Rosenberg, Time-Restricted Sequence Generation von Becvar, Jiri

Volltext

Review: John E. Hopcroft, Jeffrey D. Ullman, Relations between Time and Tape Complexities von Becvar, Jiri

Volltext

Review: Robert R. Korfhage, Logic and Algorithms with Applications to the Computer and Information Sciences von Becvar, Jiri

Volltext

Review: B. A. Trahtenbrot, Complexity of Algorithms and Computations (Special Course for Students of the Novosibirsk Government University) von Becvar, Jiri

Volltext

Review: B. A. Trahtenbrot, Optimal Computations and the Frequency Occurrence of Ablonskij von Becvar, Jiri

Volltext

Review: G. S. Matveeva, On a Theorem of Rabin Concerning the Complexity of Computable Functions von Becvar, Jiri

Volltext

Review: B. A. Trahtenbrot, Turing Computations with Logarithmic Delay von Becvar, Jiri

Volltext

Review: F. C. Hennie, One-Tape, Off-Line Turing Machine Computations von Becvar, Jiri

Volltext

Review: J. Hartmanis, R. E. Stearns, On the Computational Complexity of Algorithms von Becvar, Jiri

Volltext

Review: J. Hartmanis, R. E. Stearns, Computational Complexity of Recursive Sequences von Becvar, Jiri

Volltext

Review: M. A. Ajzerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, Logic, Automata, Algorithms von Becvar, Jiri

Volltext

Review: Hisao Yamada, Real-Time Computation and Recursive Functions not Real-Time Computable von Becvar, Jiri

Volltext

Review: Michael O. Rabin, Real Time Computation von Becvar, Jiri

Volltext

A reduct-and-closure algorithm for graphs von Goralčíková, Alla, Koubek, Václav

Volltext

Review: V. M. Gluskov, Synthesis of Digital Automata von Becvar, Jiri

Volltext

Review: B. A. Trahtenbrot, Doklady akademii nauk SSSR von Becvar, Jiri

Volltext