Advanced search
Advanced search in people
Electronic Notes in Theoretical Computer Science > 2005 > 124 > 1 > 149-170
Science of Computer Programming > 2004 > 52 > 1-3 > 165-212
Electronic Notes in Theoretical Computer Science > 2005 > 124 > 1 > 149-170
Science of Computer Programming > 2004 > 52 > 1-3 > 165-212