Autor der Publikation

On Bounded Semilinear Languages, Counter Machines, and Finite-Index ET0L.

, und . CIAA, Volume 9705 von Lecture Notes in Computer Science, Seite 138-149. Springer, (2016)

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

Verification in Queue-Connected Multicounter Machines.. Int. J. Found. Comput. Sci., 13 (1): 115-127 (2002)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)Unboundedness Problems for Machines with Reversal-Bounded Counters., , , , , , und . FoSSaCS, Volume 13992 von Lecture Notes in Computer Science, Seite 240-264. Springer, (2023)Weak Synchronization and Synchronizability of Multi-tape Pushdown Automata and Turing Machines., und . Journal of Automata, Languages and Combinatorics, 19 (1-4): 119-132 (2014)Two-Dimensional Convolution on a Pyramid Computer., , , und . IEEE Trans. Pattern Anal. Mach. Intell., 10 (4): 590-593 (1988)On the Containment and Equivalence of Database Queries with Linear Constraints., und . PODS, Seite 32-43. ACM Press, (1997)The LD and DLAD Bio-Operations on Formal Languages., , , , und . Journal of Automata, Languages and Combinatorics, 8 (3): 477-498 (2003)On the Density of Languages Accepted by Turing Machines and Other Machine Models., und . CoRR, (2019)Insertion Operations on Deterministic Reversal-Bounded Counter Machines., , und . CoRR, (2019)On the Emptiness Problem for Two-Way NFA with One Reversal-Bounded Counter., , und . ISAAC, Volume 2518 von Lecture Notes in Computer Science, Seite 103-114. Springer, (2002)