330 search results - page 3 / 66 » Reflections on a programming Olympiad |
LICS
2010
IEEE
13 years 6 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
14 years 1 months ago
2004
Springer
POS
1998
Springer
14 years 22 days ago
1998
Springer
POS
1994
Springer
14 years 18 days ago
1994
Springer
ICFP
2006
ACM
14 years 2 months ago
2006
ACM