330 search results - page 3 / 66 » Reflections on a programming Olympiad |
LICS
2010
IEEE
14 years 7 months ago
2010
IEEE
Let R be a class of generators of node-labelled infinite trees, and L be a logical language for describing correctness properties of these trees. Given R R and L, we say that R ...
ECOOP
2004
Springer
15 years 3 months ago
2004
Springer
POS
1998
Springer
15 years 1 months ago
1998
Springer
POS
1994
Springer
15 years 1 months ago
1994
Springer
ICFP
2006
ACM
15 years 3 months ago
2006
ACM