20 search results - page 1 / 4 » icfp 2004 |
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
71
Voted
ICFP
2004
ACM
15 years 10 months ago
2004
ACM
Past attempts to relate two well-known models of backtracking computation have met with only limited success. We relate these two models using logical relations. We accommodate hi...