Author of the publication

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

Mathematical Metaphysics of Randomness., , and . Theor. Comput. Sci., 207 (2): 263-317 (1998)Unfolding and Finite Prefix for Nets with Read Arcs., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 501-516. Springer, (1998)Decidability of Monadic Theories.. MFCS, volume 176 of Lecture Notes in Computer Science, page 162-175. Springer, (1984)A combinatorial version of the Svenonius theorem on definability., and . Logic Journal of the IGPL, 23 (6): 966-975 (2015)A simple detailed proof for Goedel's incompleteness theorem.. Kybernetika, 24 (6): 447-451 (1988)Designing an asynchronous pipeline token ring interface., , , and . ASYNC, page 32-. IEEE Computer Society, (1995)Sequences close to periodic, , and . CoRR, (2009)Technology in transforming education.. Communications and Networking in Education, volume 163 of IFIP Conference Proceedings, page 25-38. Kluwer, (1999)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)Modelling, analysis and synthesis of asynchronous control circuits using Petri nets., , , and . Integr., 21 (3): 143-170 (1996)