Search results for: Guy McCusker
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Part 2. Contributed Research Papers > 111-127
Lecture Notes in Computer Science > Computer Science Logic > Semantics > 247-261
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B1: Foundations of Program Semantics > 186-197
Journal of Pure and Applied Algebra > 2015 > 219 > 4 > 1131-1174
Annals of Pure and Applied Logic > 2013 > 164 > 11 > 1038-1078
Information and Computation > 2013 > 222 > Complete > 247-264
Electronic Notes in Theoretical Computer Science > 2012 > 286 > Complete > 273-289
Electronic Notes in Theoretical Computer Science > 2010 > 265 > Complete > 231-244
Electronic Notes in Theoretical Computer Science > 2010 > 265 > Complete > 389-402
Theoretical Computer Science > 2003 > 309 > 1-3 > 469-502
Electronic Notes in Theoretical Computer Science > 2003 > 83 > Complete > 169-186
Information and Computation > 2000 > 160 > 1-2 > 1-61
Electronic Notes in Theoretical Computer Science > 1996 > 3 > Complete > 2-14