Search results for: Karl Crary
Lecture Notes in Computer Science > Logic Programming > 387-401
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 53-68
Electronic Notes in Theoretical Computer Science > 2007 > 172 > Complete > 259-299
Theoretical Computer Science > 2003 > 290 > 2 > 1175-1199
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 2 > 1-18