Search results for: J. A. Makowsky
Formal Methods in System Design > 2017 > 51 > 2 > 419-430
Lecture Notes in Computer Science > CAAP'83 > 300-316
Lecture Notes in Computer Science > ESOP 86 > 160-172
Lecture Notes in Computer Science > Computing and Combinatorics > Computational/Complexity Theory I > 90-101