Stephen Cook (Selection)

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:

Ask others: ACM DL/Guide -

8 Stephen Cook, Tsuyoshi Morioka: Quantified propositional calculus and a second-order theory for NC¹. Arch. Math. Log. 44(6): 711-749 (2005)

Selection of 1 from 11 records - Stephen Cook has 15 coauthors