Travelled to:1 × Canada
1 × Italy
1 × Mexico
2 × USA
Collaborated with:∅ T.Costello R.P.Gabriel R.Cartwright
Talks about:logic (2) lisp (2) program (1) process (1) narrat (1) compil (1) combin (1) queue (1) order (1) multi (1)
Person: John McCarthy
DBLP: McCarthy:John
Contributed to:
2003
1998
1984
19791963Wrote 5 papers:
- LICS-2003-McCarthy #logic
- Advice about logical AI (JM), p. 244–?.
- KR-1998-McCarthyC
- Combining Narratives (JM, TC), pp. 48–59.
- LFP-1984-GabrielM #lisp #multi
- Queue-based Multi-processing Lisp (RPG, JM), pp. 25–44.
- POPL-1979-CartwrightM #first-order #logic #programming
- First Order Programming Logic (RC, JM), pp. 68–80.
- LISP-1963-McCarthy #compilation #lisp
- The LISP 2 Compiler (JM), p. 8.