Autor der Publikation

On the Decidability of Equivalence for Deterministic Pushdown Transducers.

, und . Inf. Process. Lett., 13 (3): 89-93 (1981)

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

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)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)On the Containment and Equivalence of Database Queries with Linear Constraints., und . PODS, Seite 32-43. ACM Press, (1997)Trajectory queries and octagons in moving object databases., , und . CIKM, Seite 413-421. ACM, (2002)The LD and DLAD Bio-Operations on Formal Languages., , , , und . Journal of Automata, Languages and Combinatorics, 8 (3): 477-498 (2003)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 ATM's and Space-Bounded TM's., , und . ICALP, Volume 317 von Lecture Notes in Computer Science, Seite 119-132. Springer, (1988)Automata with Reversal-Bounded Counters: A Survey.. DCFS, Volume 8614 von Lecture Notes in Computer Science, Seite 5-22. Springer, (2014)A Look Back at Some Early Results in Membrane Computing.. Workshop on Membrane Computing, Volume 5957 von Lecture Notes in Computer Science, Seite 66-73. Springer, (2009)