Search results
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 57-71
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2008 > 16 > 7 > 792 - 805
Journal of Statistical Planning and Inference > 2004 > 123 > 1 > 133-159
Science of Computer Programming > 1999 > 35 > 1 > 29-75
Computer Standards & Interfaces > 1999 > 21 > 3 > 251-272