( en | de | ru )

 

Disambiguation of "Muller, David E."

Author of the publication

copydeleteadd this publication to your clipboard
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.

, , and . ICCI, page 2-5. IEEE Computer Society, (1992)

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.

David E Hopkins

David Müller

David Müller

David Müller

David Müller

 

Other publications of authors with the same name

The General Synthesis Problem for Asynchronous Digital Networks. SWAT, page 71-82. IEEE Computer Society, (1967)Toward a switching theory of CMOS circuits., and . FJCC, page 347-348. ACM, (1987)Use of Multiple Index Matrices in Generalized Automata Theory. SWAT, page 395-404. IEEE Computer Society, (1968)On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory., , and . ICCI, page 2-5. IEEE Computer Society, (1992)Alternating automata on infinite objects, determinacy and Rabin's theorem., and . Automata on Infinite Words, volume 192 of Lecture Notes in Computer Science, page 100-107. Springer, (1984)Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems, and . STOC, page 46-54. ACM, (1981)Generation of Near-Optimal Universal Boolean Functions., and . J. Comput. Syst. Sci., 4 (2): 93-102 (1970)Reversibility in monadic algebras and automata, and . SWCT, page 242-247. IEEE Computer Society, (1965)Infinite sequences and finite machines. SWCT, page 3-16. IEEE Computer Society, (1963)A Method for Factoring the Action of Asynchronous Circuits, and . SWCT, page 246-249. IEEE Computer Society, (1960)