Author of the publication

The Complexity of the Equivalence Problem for Counter Machines, Semilinear Sets, and Simple Programs

, and . STOC, page 142-152. ACM, (1979)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Experimental Studies on a Compact Storage Scheme for Wavelet-Based Multiresolution Subregion Retrieval., , , , and . Data Compression Conference, page 465. IEEE Computer Society, (1996)Some results concerning linear iterative (systolic) arrays., , and . J. Parallel Distributed Comput., 2 (2): 182-218 (1985)On Mapping Systolic Algorithms onto the Hypercube., and . IEEE Trans. Parallel Distributed Syst., 1 (1): 48-63 (1990)Two-Dimensional Convolution on a Pyramid Computer., , , and . IEEE Trans. Pattern Anal. Mach. Intell., 10 (4): 590-593 (1988)A q-Analogue of the Parikh Matrix Mapping., and . Formal Models, Languages and Applications, volume 66 of Series in Machine Perception and Artificial Intelligence, page 97-111. World Scientific, (2007)Weak Synchronization and Synchronizability of Multi-tape Pushdown Automata and Turing Machines., and . Journal of Automata, Languages and Combinatorics, 19 (1-4): 119-132 (2014)A Look Back at Some Early Results in Membrane Computing.. Workshop on Membrane Computing, volume 5957 of Lecture Notes in Computer Science, page 66-73. Springer, (2009)On Symport/Antiport P Systems and Semilinear Sets., , , and . Workshop on Membrane Computing, volume 3850 of Lecture Notes in Computer Science, page 253-271. Springer, (2005)Asynchronous Spiking Neural P Systems: Decidability and Undecidability., , , , , and . DNA, volume 4848 of Lecture Notes in Computer Science, page 246-255. Springer, (2007)The LD and DLAD Bio-Operations on Formal Languages., , , , and . Journal of Automata, Languages and Combinatorics, 8 (3): 477-498 (2003)