Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/books/collections/K2023.bht:"
download as .bib file
@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}
}
a service of 
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.
retrieved on 2024-05-12 01:53 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
