Travelled to:1 × USA
1 × United Kingdom
Collaborated with:∅
Talks about:function (1) challeng (1) program (1) reduct (1) memori (1) comput (1) relat (1) logic (1) futur (1) past (1)
Person: John Alan Robinson
DBLP: Robinson:John_Alan
Contributed to:
2000
1986Wrote 2 papers:
- CL-2000-Robinson #challenge #logic
- Computational Logic: Memories of the Past and Challenges for the Future (JAR), pp. 1–24.
- LICS-1986-Robinson #functional #programming #reduction #relational
- Merging Functional with Relational Programming in a Reduction Setting (JAR), p. 2.