15. LICS 2000:
Santa Barbara, California, USA
15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, California, USA, June 26-29, 2000.
IEEE Computer Society 2000, ISBN 0-7695-0725-5
Invited Talk
Session 1a
Session 1b
Session 2a
Session 2b
Session 3a
Session 3b
Invited Talks
- Saul Kripke:
From the Church-Turing Thesis to the First-Order Algorithm Theorem.
177

- Bart Selman:
Satisfiability Testing: Recent Developments and Challenge Problems.
178

Session 4a
Session 4b
Session 5a
Session 5b
Invited Talks
Session 6a
Session 6b
Session 7a
Session 7b
Last update Sat May 18 15:11:30 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page