Search results for: Michael Thomas
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2009 > Contributed Papers > 587-599
Journal of Applied Logic > 2010 > 8 > 4 > 409-421
Electronic Notes in Theoretical Computer Science > 2008 > 223 > Complete > 201-213