Travelled to:1 × Portugal
1 × USA
Collaborated with:∅
Talks about:contribut (1) scienc (1) comput (1) futur (1) post (1) past (1) emil (1) sat (1)
Person: Martin Davis
DBLP: Davis:Martin
Contributed to:
2007
1989Wrote 2 papers:
- SAT-2007-Davis #named #past present future #satisfiability
- SAT: Past and Future (MD), pp. 1–2.
- LICS-1989-Davis
- Emil Post’s Contributions to Computer Science (MD), pp. 134–136.