Search results for: Torben Braüner
Information and Computation > 2011 > 209 > 12 > 1437-1446
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Theoretical Computer Science > 1997 > 177 > 1 > 27-58
Information and Computation > 2011 > 209 > 12 > 1437-1446
Journal of Applied Logic > 2006 > 4 > 3 > 231-255
Theoretical Computer Science > 1997 > 177 > 1 > 27-58