Published in: Studies in logic and the foundations of mathematics ; 13700

Published in: Studies in proof theory / Lecture notes ; 3

Published in: Lecture notes in logic ; 13

Published in: Progress in Computer Science and Applied Logic ; 9

Published in: DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; v. 39

Published in: Studies in logic and the foundations of mathematics ; v. 137

Published in: The Journal of Symbolic Logic, 77 (2012) 2, Seite 656-668

Published in: Annals of Pure and Applied Logic, 163 (2012) 7, Seite 906-917

Published in: School Science and Mathematics, 109 (2009) 3, Seite 183-184

Published in: Archive for Mathematical Logic, 48 (2009) 8, Seite 793-798

Published in: Theoretical Computer Science, 357 (2006) 1-3, Seite 35-52

Published in: The Visual Computer, 21 (2005) 1-2, Seite 41-58

Published in: Journal of Computational Physics, 164 (2000) 2, Seite 377-406

Published in: Annals of Pure and Applied Logic, 96 (1999) 1-3, Seite 43-55

Published in: SIAM Review, 40 (1998) 2, Seite 397-400

Published in: Studies in Logic and the Foundations of Mathematics (1998), Seite 1-78

Published in: Studies in Logic and the Foundations of Mathematics (1998), Seite 79-147