Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Efficient Simulations of Simple Models of Parallel Computation by Time-Bounded ATMs and Space-Bounded TMs., , und . Theor. Comput. Sci., 68 (1): 19-36 (1989)On Two-way Multihead Automata.. J. Comput. Syst. Sci., 7 (1): 28-36 (1973)Hierarchies of Turing Machines with Restricted Tape Alphabet Size., und . J. Comput. Syst. Sci., 11 (1): 56-67 (1975)On Some Decision Problems for RAM Programs., und . J. Comput. Syst. Sci., 24 (1): 69-81 (1982)On the Zero-Inequivalence Problem for Loop Programs., und . J. Comput. Syst. Sci., 26 (1): 47-64 (1983)Unboundedness Problems for Machines with Reversal-Bounded Counters., , , , , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 240-264. Springer, (2023)Trading reversals for alternation., und . SCT, Seite 70-77. IEEE Computer Society, (1988)Verification in Queue-Connected Multicounter Machines.. Int. J. Found. Comput. Sci., 13 (1): 115-127 (2002)Two-Dimensional Convolution on a Pyramid Computer., , , und . IEEE Trans. Pattern Anal. Mach. Intell., 10 (4): 590-593 (1988)A q-Analogue of the Parikh Matrix Mapping., und . Formal Models, Languages and Applications, Volume 66 von Series in Machine Perception and Artificial Intelligence, Seite 97-111. World Scientific, (2007)