Search results for: Valery Trifonov
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 128-146
Lecture Notes in Computer Science > Static Analysis > 349-365
Lecture Notes in Computer Science > Practical Aspects of Declarative Languages > Functional Programming > 16-31
Journal of Automated Reasoning > 2003 > 31 > 3-4 > 191-229
Theoretical Computer Science > 1995 > 152 > 2 > 326
Electronic Notes in Theoretical Computer Science > 1995 > 1 > Complete > 132-153