Herman Geuvers, Fairouz Kamareddine, editors, Mathematics, Logic and Computation, Satellite Event of ICALP 2003, Eindhoven, The Netherlands, July 4-5, 2003. Volume 85 of Electronic Notes in Theoretical Computer Science, Elsevier, 2003. [doi]
Conference: icalp2003
Abstract is missing.