default search action
Search dblp for Publications
export results for "toc:db/books/collections/K2023.bht:"
@incollection{DBLP:books/acm/23/BeameM23, author = {Paul Beame and Pierre McKenzie}, editor = {Bruce M. Kapron}, title = {Towards a Complexity Theory of Parallel Computation}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {107--126}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588295}, doi = {10.1145/3588287.3588295}, timestamp = {Tue, 07 May 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/BeameM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/BorodinC23, author = {Allan Borodin and Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {A Time-Space Tradeoff for Sorting on a General Sequential Model of Computation}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {245--260}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588302}, doi = {10.1145/3588287.3588302}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/BorodinC23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Buss23, author = {Sam Buss}, editor = {Bruce M. Kapron}, title = {Polynomially Verifiable Arithmetic}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {95--106}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588294}, doi = {10.1145/3588287.3588294}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Buss23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {The 1982 {ACM} Turing Award Lecture: An Overview of Computational Complexity}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {47--70}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588291}, doi = {10.1145/3588287.3588291}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23a, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {The Complexity of Theorem-Proving Procedures}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {143--152}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588297}, doi = {10.1145/3588287.3588297}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23b, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {Characterizations of Pushdown Machines in Terms of Time-Bounded Computers}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {153--172}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588298}, doi = {10.1145/3588287.3588298}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23c, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {Feasibly Constructive Proofs and the Propositional Calculus (Preliminary Version)}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {193--218}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588300}, doi = {10.1145/3588287.3588300}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23c.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23d, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {Towards a Complexity Theory of Synchronous Parallel Computation}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {219--244}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588301}, doi = {10.1145/3588287.3588301}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23d.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Cook23e, author = {Stephen A. Cook}, editor = {Bruce M. Kapron}, title = {A Survey of Classes of Primitive Recursive Functions}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {325--336}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588305}, doi = {10.1145/3588287.3588305}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Cook23e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/CookMWBS23, author = {Stephen A. Cook and Pierre McKenzie and Dustin Wehr and Mark Braverman and Rahul Santhanam}, editor = {Bruce M. Kapron}, title = {Pebbles and Branching Programs for Tree Evaluation}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {261--318}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588303}, doi = {10.1145/3588287.3588303}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/CookMWBS23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/CookR23, author = {Stephen A. Cook and Robert A. Reckhow}, editor = {Bruce M. Kapron}, title = {The Relative Efficiency of Propositional Proof Systems}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {173--192}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588299}, doi = {10.1145/3588287.3588299}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/CookR23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Kapron23, author = {Bruce M. Kapron}, editor = {Bruce M. Kapron}, title = {Introduction}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588288}, doi = {10.1145/3588287.3588288}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Kapron23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Kapron23a, author = {Bruce M. Kapron}, editor = {Bruce M. Kapron}, title = {Cook's Berkeley Notes}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {321--324}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588304}, doi = {10.1145/3588287.3588304}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Kapron23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Krajicek23, author = {Jan Kraj{\'{\i}}cek}, editor = {Bruce M. Kapron}, title = {The Cook-Reckhow Definition}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {83--94}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588293}, doi = {10.1145/3588287.3588293}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Krajicek23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Papadimitriou23, author = {Christos H. Papadimitriou}, editor = {Bruce M. Kapron}, title = {Cook's NP-completeness Paper and the Dawn of the New Theory}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {73--82}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588292}, doi = {10.1145/3588287.3588292}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Papadimitriou23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Pippenger23, author = {Nicholas Pippenger}, editor = {Bruce M. Kapron}, title = {Computation with Limited Space}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {127--140}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588296}, doi = {10.1145/3588287.3588296}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Pippenger23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/Waitzman23a, author = {Michelle Waitzman}, editor = {Bruce M. Kapron}, title = {Stephen Cook: Complexity's Humble Hero}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {3--28}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588289}, doi = {10.1145/3588287.3588289}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/Waitzman23a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/X23e, editor = {Bruce M. Kapron}, title = {{ACM} Interview of Stephen A. Cook by Bruce M. Kapron}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {29--44}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588290}, doi = {10.1145/3588287.3588290}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/X23e.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/X23f, editor = {Bruce M. Kapron}, title = {Further Reading}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {337--338}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588306}, doi = {10.1145/3588287.3588306}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/X23f.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/X23g, editor = {Bruce M. Kapron}, title = {Bibliography}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {339--382}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588307}, doi = {10.1145/3588287.3588307}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/X23g.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/acm/23/X23h, editor = {Bruce M. Kapron}, title = {Contributors' Biographies/Index}, booktitle = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, pages = {383--398}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287.3588308}, doi = {10.1145/3588287.3588308}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/X23h.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/acm/23/K2023, editor = {Bruce M. Kapron}, title = {Logic, Automata, and Computational Complexity: The Works of Stephen A. Cook}, series = {{ACM} Books}, volume = {43}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3588287}, doi = {10.1145/3588287}, isbn = {979-8-4007-0779-7}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/acm/23/K2023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.