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

Persistent queries in the behavioral theory of algorithms., and . ACM Trans. Comput. Log., 12 (2): 16:1-16:43 (2011)Abstract state machines capture parallel algorithms., and . ACM Trans. Comput. Log., 4 (4): 578-651 (2003)Randomizing Reductions of Search Problems., and . FSTTCS, volume 560 of Lecture Notes in Computer Science, page 10-24. Springer, (1991)Is Game Semantics Necessary?. CSL, volume 832 of Lecture Notes in Computer Science, page 66-77. Springer, (1993)Background, Reserve, and Gandy Machines., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 1-17. Springer, (2000)Choiceless Polynominal Time Computation and the Zero-One Law., and . CSL, volume 1862 of Lecture Notes in Computer Science, page 18-40. Springer, (2000)Negative probabilities, II What they are and what they are for., and . Bulletin of the EATCS, (2018)A Game Semantics for Linear Logic.. Ann. Pure Appl. Logic, 56 (1-3): 183-220 (1992)Existential Fixed-Point Logic., and . Computation Theory and Logic, volume 270 of Lecture Notes in Computer Science, page 20-36. Springer, (1987)Existential Fixed-Point Logic, Universal Quantifiers, and Topoi.. Fields of Logic and Computation, volume 6300 of Lecture Notes in Computer Science, page 108-134. Springer, (2010)