Search results for: Torben Braüner
Information and Computation > 2011 > 209 > 12 > 1437-1446
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Journal of Logic, Language and Information > 2006 > 15 > 3 > 179-194
Information and Computation > 2011 > 209 > 12 > 1437-1446
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Journal of Logic, Language and Information > 2006 > 15 > 3 > 179-194