Travelled to:1 × USA
Collaborated with:J.Campbell M.Brain T.Crick M.D.Vos
Talks about:superoptimis (1) without (1) program (1) symbol (1) comput (1) answer (1) toast (1) appli (1) lisp (1) set (1)
Person: John P. Fitch
DBLP: Fitch:John_P=
Contributed to:
2006
1980Wrote 2 papers:
- ICLP-2006-BrainCVF #named #programming #set
- TOAST: Applying Answer Set Programming to Superoptimisation (MB, TC, MDV, JPF), pp. 270–284.
- LISP-1980-CampbellF #lisp
- Symbolic Computing with and without Lisp (JC, JPF), pp. 1–5.