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

Revision Sequences and Computers with an Infinite Amount of Time.. J. Log. Comput., 11 (1): 25-40 (2001)Set Theory With and Without Urelements and Categories of Interpretations.. Notre Dame J. Formal Log., 47 (1): 83-91 (2006)Belief Flow in Assertion Networks., , and . ICCS, volume 4604 of Lecture Notes in Computer Science, page 401-414. Springer, (2007)A parametrised choice principle and Martin's conjecture on Blackwell determinacy.. Math. Log. Q., 52 (2): 187-189 (2006)Computability in Europe 2011., , , and . Ann. Pure Appl. Log., 164 (5): 509-510 (2013)A multiplication operation for the hierarchy of norms., and . Ann. Pure Appl. Log., 169 (7): 656-673 (2018)Computability in Europe 2010., , , and . J. Log. Comput., 25 (4): 983-985 (2015)Programs, Proofs, Processes., , and . Theory Comput. Syst., 51 (3): 267-269 (2012)Enabling mathematical cultures: introduction., , and . Synth., 198 (26): 6225-6231 (2021)Computing and the natural sciences at CiE 2005., and . Theor. Comput. Sci., 371 (1-2): 1-3 (2007)