Simon Cook

1. Indonesia
   2001/01/01 by Philip Yampolsky, Sumarsam, Dr Sumarsam +16 · 1 citation
   Social Sciences · #Asian Studies and History
2. A second-order theory for NL
   2004/01/01 by Simon Cook, Antonina Kolokolova · 1 citation
   Computer Science · Mathematics · #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Advanced Algebra and Logic #Mathematics #Nondeterministic algorithm #Order (exchange) #Discrete mathematics #Horn clause #Bounded function #Set theory #Quantifier (linguistics) #Polynomial #Set (abstract data type) #Combinatorics #Algebra over a field #Pure mathematics #Computer science #Artificial intelligence