Search results for: Nikos Mylonakis
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 186-200
Electronic Notes in Theoretical Computer Science > 2000 > 37 > Complete > 1-21
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 186-200
Electronic Notes in Theoretical Computer Science > 2000 > 37 > Complete > 1-21