作 者:Stephen Cook ;Antonina Kolokolova
出 处:Electronic Colloquium on Computational Complexity. 2001 ;2001.
出 版 社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID:47147000
作 者:Valentine Kabanets ;Charles Rackoff ;Stephen Cook
出 处:Electronic Colloquium on Computational Complexity. 2000 ;2000.
出 版 社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID:47840832
作 者:Richard W. Stahlhut ;Edwin van Wijngaarden ;Timothy D. Dye 等
出 处:Environmental Health Perspectives. 2007 ;115(6):876-882.doi:10.1289/ehp.9882
出 版 社:OCR Subscription Services Inc
文 章 ID:216729515
作 者:Stephen Cook ;Lila Fontes
出 处:Logical Methods in Computer Science. 2012 ;8(1):1.doi:10.2168/LMCS-8(1:25)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691951
作 者:Dai Tri Man Le ;Stephen Cook
出 处:Logical Methods in Computer Science. 2012 ;8(3):1.doi:10.2168/LMCS-8(3:5)2012
出 版 社:Technical University of Braunschweig
文 章 ID:264691977
作 者:Mark Braverman ;Stephen Cook ;Pierre McKenzie 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2009 ;4:109-120.doi:10.4230/LIPIcs.FSTTCS.2009.2311
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845594
作 者:Stephen Cook ;Jeff Edmonds ;Venkatesh Medabalimi 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:36:1-36:13.doi:10.4230/LIPIcs.ICALP.2016.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847633
作 者:Iddo Tzameret ;Stephen Cook
出 处:Electronic Colloquium on Computational Complexity. 2018 ;2018.
出 版 社:Universität Trier, Lehrstuhl für Theoretische Computer-Forschung
文 章 ID:235153635