Skip to contents Buss, Samuel R.; Williams, Ryan Limits on Alternation Trading Proofs for Time–Space Lower Bounds Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: computational complexity, 24 (2015) 3, Seite 533-600 Beckmann, Arnold; Buss, Samuel R. Improved witnessing and local improvement principles for second-order bounded arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM Transactions on Computational Logic, 15 (2014) 1, Seite 1-35 Buss, Samuel R.; Kuznets, Roman Lower complexity bounds in justification logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2012 Published in: Annals of Pure and Applied Logic, 163 (2012) 7, Seite 888-905 Beckmann, Arnold; Buss, Samuel R. Corrected upper bounds for free-cut elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2011 Published in: Theoretical Computer Science, 412 (2011) 39, Seite 5433-5445 Buss, Samuel R.; Kuznets, Roman Logical Foundations of Computer Science: The NP-Completeness of Reflected Fragments of Justification Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Logical Foundations of Computer Science (2008), Seite 122-136 Buss, Samuel R.; Hoffmann, Jan The NP-hardness of finding a directed acyclic graph for regular resolution Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Theoretical Computer Science, 396 (2008) 1-3, Seite 271-276 Beckmann, Arnold; Buss, Samuel R. Separation results for the size of constant-depth propositional proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Annals of Pure and Applied Logic, 136 (2005) 1-2, Seite 30-55 Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197 Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197 Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and Coalescence Problems with a Discrete Markov Chain Analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Applied Probability Trust, 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197 Buss, Samuel R; Pudlák, Pavel On the computational content of intuitionistic propositional proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2001 Published in: Annals of Pure and Applied Logic, 109 (2001) 1-2, Seite 49-64 Buss, Samuel R; Pitassi, Toniann Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1998 Published in: Journal of Computer and System Sciences, 57 (1998) 2, Seite 162-171 Buss, Samuel R.; Clote, Peter Cutting planes, connectivity, and threshold logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1996 Published in: Archive for Mathematical Logic, 35 (1996) 1, Seite 33-62 Buss, Samuel R.; Clote, Peter Cutting planes, connectivity, and threshold logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1996 Published in: Archive for Mathematical Logic, 35 (1996) 1, Seite 33-62 Pudlák, Pavel; Buss, Samuel R. Computer Science Logic: How to lie without being (easily) convicted and the lengths of proofs in propositional calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1995 Published in: Computer Science Logic (1995), Seite 151-162 Buss, Samuel R.; Ignjatović, Aleksandar Unprovability of consistency statements in fragments of bounded arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1995 Published in: Annals of Pure and Applied Logic, 74 (1995) 3, Seite 221-244 Buss, Samuel R.; Krajíček, Jan An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 1994 Published in: Proceedings of the London Mathematical Society, s3-69 (1994) 1, Seite 1-21 Buss, Samuel R.; Hay, Louise On truth-table reducibility to SAT Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1991 Published in: Information and Computation, 91 (1991) 1, Seite 86-102 Buss, Samuel R.; Turán, Győrgy Resolution proofs of generalized pigeonhole principles Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1988 Published in: Theoretical Computer Science, 62 (1988) 3, Seite 311-317 Buss, Samuel R.; Kohlenbach, Ulrich; Rathjen, Michael Mathematical Logic: Proof Theory, Constructive Mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. European Mathematical Society - EMS - Publishing House GmbH, 2015 Published in: Oberwolfach Reports, 11 (2015) 4, Seite 2933-2986
Buss, Samuel R.; Williams, Ryan Limits on Alternation Trading Proofs for Time–Space Lower Bounds Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 2015 Published in: computational complexity, 24 (2015) 3, Seite 533-600
Beckmann, Arnold; Buss, Samuel R. Improved witnessing and local improvement principles for second-order bounded arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Association for Computing Machinery (ACM), 2014 Published in: ACM Transactions on Computational Logic, 15 (2014) 1, Seite 1-35
Buss, Samuel R.; Kuznets, Roman Lower complexity bounds in justification logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2012 Published in: Annals of Pure and Applied Logic, 163 (2012) 7, Seite 888-905
Beckmann, Arnold; Buss, Samuel R. Corrected upper bounds for free-cut elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2011 Published in: Theoretical Computer Science, 412 (2011) 39, Seite 5433-5445
Buss, Samuel R.; Kuznets, Roman Logical Foundations of Computer Science: The NP-Completeness of Reflected Fragments of Justification Logics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 2008 Published in: Logical Foundations of Computer Science (2008), Seite 122-136
Buss, Samuel R.; Hoffmann, Jan The NP-hardness of finding a directed acyclic graph for regular resolution Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2008 Published in: Theoretical Computer Science, 396 (2008) 1-3, Seite 271-276
Beckmann, Arnold; Buss, Samuel R. Separation results for the size of constant-depth propositional proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2005 Published in: Annals of Pure and Applied Logic, 136 (2005) 1-2, Seite 30-55
Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197
Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and coalescence problems with a discrete Markov chain analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cambridge University Press (CUP), 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197
Buss, Samuel R.; Clote, Peter Solving the Fisher-Wright and Coalescence Problems with a Discrete Markov Chain Analysis Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Applied Probability Trust, 2004 Published in: Advances in Applied Probability, 36 (2004) 4, Seite 1175-1197
Buss, Samuel R; Pudlák, Pavel On the computational content of intuitionistic propositional proofs Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 2001 Published in: Annals of Pure and Applied Logic, 109 (2001) 1-2, Seite 49-64
Buss, Samuel R; Pitassi, Toniann Good Degree Bounds on Nullstellensatz Refutations of the Induction Principle Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1998 Published in: Journal of Computer and System Sciences, 57 (1998) 2, Seite 162-171
Buss, Samuel R.; Clote, Peter Cutting planes, connectivity, and threshold logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1996 Published in: Archive for Mathematical Logic, 35 (1996) 1, Seite 33-62
Buss, Samuel R.; Clote, Peter Cutting planes, connectivity, and threshold logic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Science and Business Media LLC, 1996 Published in: Archive for Mathematical Logic, 35 (1996) 1, Seite 33-62
Pudlák, Pavel; Buss, Samuel R. Computer Science Logic: How to lie without being (easily) convicted and the lengths of proofs in propositional calculus Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Springer Berlin Heidelberg, 1995 Published in: Computer Science Logic (1995), Seite 151-162
Buss, Samuel R.; Ignjatović, Aleksandar Unprovability of consistency statements in fragments of bounded arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1995 Published in: Annals of Pure and Applied Logic, 74 (1995) 3, Seite 221-244
Buss, Samuel R.; Krajíček, Jan An Application of Boolean Complexity to Separation Problems in Bounded Arithmetic Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Wiley, 1994 Published in: Proceedings of the London Mathematical Society, s3-69 (1994) 1, Seite 1-21
Buss, Samuel R.; Hay, Louise On truth-table reducibility to SAT Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1991 Published in: Information and Computation, 91 (1991) 1, Seite 86-102
Buss, Samuel R.; Turán, Győrgy Resolution proofs of generalized pigeonhole principles Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Elsevier BV, 1988 Published in: Theoretical Computer Science, 62 (1988) 3, Seite 311-317
Buss, Samuel R.; Kohlenbach, Ulrich; Rathjen, Michael Mathematical Logic: Proof Theory, Constructive Mathematics Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. European Mathematical Society - EMS - Publishing House GmbH, 2015 Published in: Oberwolfach Reports, 11 (2015) 4, Seite 2933-2986
> Media type Skip to next facet Articles (86) Wert ausschließen Books (13) Wert ausschließen Show more show less
> Availability Skip to next facet Open Shelves (3) Wert ausschließen Stack Collection (1) Wert ausschließen Show more show less
> Location Skip to next facet Central Library (3) Wert ausschließen Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (40) Wert ausschließen Restricted Access (1) Wert ausschließen Without Specification (54) Wert ausschließen Show more show less
> Language Skip to next facet English (77) Wert ausschließen Not determined (20) Wert ausschließen German (2) Wert ausschließen Show more show less
> Subject Skip to next facet Mathmatics (30) Wert ausschließen Philosophy (9) Wert ausschließen Computer science (6) Wert ausschließen Medicine (5) Wert ausschließen General (3) Wert ausschließen Biology (3) Wert ausschließen Physics (3) Wert ausschließen Psychology (3) Wert ausschließen Technology (2) Wert ausschließen General sciences (1) Wert ausschließen Chemistry and pharmacology (1) Wert ausschließen History (1) Wert ausschließen Pedagogy (1) Wert ausschließen Show more show less
> Creator Skip to next facet Buss, Samuel R. (76) Wert ausschließen BUSS, SAMUEL R. (7) Wert ausschließen Beckmann, Arnold (6) Wert ausschließen Clote, Peter (5) Wert ausschließen Kohlenbach, Ulrich (5) Wert ausschließen Rathjen, Michael (5) Wert ausschließen Buss, Samuel R (4) Wert ausschließen Bonet, Maria Luisa (3) Wert ausschließen Buss, Ray R. (3) Wert ausschließen KOŁODZIEJCZYK, LESZEK ALEKSANDER (3) Wert ausschließen Pudlák, Pavel (3) Wert ausschließen Yussen, Steven R. (3) Wert ausschließen BECKMANN, ARNOLD (2) Wert ausschließen Coja-Oghlan, Amin (2) Wert ausschließen FRIEDMAN, SY-DAVID (2) Wert ausschließen Friedrich, Tobias (2) Wert ausschließen Hoffmann, Jan (2) Wert ausschließen Iemhoff, Rosalie (2) Wert ausschließen Johnson, Alan S. (2) Wert ausschließen Kane, Patrick T. (2) Wert ausschließen Kechris, Alexander S. (2) Wert ausschließen Kuznets, Roman (2) Wert ausschließen Löwe, Benedikt (2) Wert ausschließen Mathews, Samuel R. (2) Wert ausschließen Pillay, Anand (2) Wert ausschließen Pollett, Chris (2) Wert ausschließen Rothenberger, Ralf (2) Wert ausschließen Schwichtenberg, Helmut (2) Wert ausschließen Shore, Richard A. (2) Wert ausschließen THAPEN, NEIL (2) Wert ausschließen Aguiar, Renato S. (1) Wert ausschließen Alencar, Cecila Salete (1) Wert ausschließen Almeida, Luiz (1) Wert ausschließen Ambos-Spies, Klaus (1) Wert ausschließen Amorim, Mariene R. (1) Wert ausschließen Amy L. Salisbury (1) Wert ausschließen Angela F. Lukowski (1) Wert ausschließen Anjolii Diaz (1) Wert ausschließen Anzman-Frasca, Stephanie (1) Wert ausschließen Archer, C. Ruth (1) Wert ausschließen Ashley M. Groh (1) Wert ausschließen Ashworth, Jordan (1) Wert ausschließen Association for Symbolic Logic (1) Wert ausschließen Beame, Paul W. (1) Wert ausschließen Bell, Martha Ann (1) Wert ausschließen Bernard, Connor (1) Wert ausschließen Bhatt, Samir (1) Wert ausschließen Bosquet Enlow, Michelle (1) Wert ausschließen Brady, Oliver J. (1) Wert ausschließen Braga, Carlos K. V. (1) Wert ausschließen Bridgett, David J. (1) Wert ausschließen Burns, Jean H. (1) Wert ausschließen Buss, Antony D. (1) Wert ausschließen Buss, Danielle L. (1) Wert ausschließen Buss, Kristin A. (1) Wert ausschließen Buss, Lewis F. (1) Wert ausschließen Butler, Mark S. (1) Wert ausschließen Campbell, Simon (1) Wert ausschließen Candido, Darlan S. (1) Wert ausschließen Capdevila, Pol (1) Wert ausschließen Carolyn Dayton (1) Wert ausschließen Carvalho, Luiz M. (1) Wert ausschließen Castiñeiras, Terezinha M. P. P. (1) Wert ausschließen Caswell, Hal (1) Wert ausschließen Catherine Thrasher (1) Wert ausschließen Chackalamannil, Samuel (1) Wert ausschließen Che‐Castaldo, Judy P. (1) Wert ausschließen Childs, Dylan Z. (1) Wert ausschließen Claro, Ingra M. (1) Wert ausschließen Clore, Marius (1) Wert ausschließen Coletti, Thaís M. (1) Wert ausschließen Compagnoni, Aldo (1) Wert ausschließen Cooper, S. Barry (1) Wert ausschließen Costa, Silvia F. (1) Wert ausschließen Crone, Elizabeth (1) Wert ausschließen Cynthia A. Stifter (1) Wert ausschließen D. Erich Seamon (1) Wert ausschließen DIMACS (Group) (1) Wert ausschließen David J. Bridgett (1) Wert ausschließen Dayton, Carolyn (1) Wert ausschließen Dellicour, Simon (1) Wert ausschließen Diane M. Lickenbrock (1) Wert ausschließen Diaz, Anjolii (1) Wert ausschließen Du Rocher Schudlich, Tina (1) Wert ausschließen Elizabeth M. Planalp (1) Wert ausschließen Elizabeth S. Spelke (1) Wert ausschließen Evan M. Jordan (1) Wert ausschließen Ezard, Thomas H. G. (1) Wert ausschließen Faria, Nuno Rodrigues (1) Wert ausschließen Faris, William G. (1) Wert ausschließen Fenollosa, Erola (1) Wert ausschließen Ferguson, Neil M. (1) Wert ausschließen Ferreira, Alessandro C. S. (1) Wert ausschließen Ferreira, Giulia M. (1) Wert ausschließen Fillmore, Jay P. (1) Wert ausschließen Forato, Julia (1) Wert ausschließen Francisco, Ronaldo S. (1) Wert ausschließen Freese, David L (1) Wert ausschließen Fumagalli, Marcilio J. (1) Wert ausschließen Gaburo, Nelson (1) Wert ausschließen Show more show less
> Collection Skip to next facet Elsevier BV (CrossRef) (23) Wert ausschließen JSTOR Mathematics & Statistics (11) Wert ausschließen Verbunddaten SWB (10) Wert ausschließen Cambridge University Press (CUP) (CrossRef) (9) Wert ausschließen JSTOR Arts & Sciences I Archive (9) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (7) Wert ausschließen European Mathematical Society - EMS - Publishing House GmbH (CrossRef) (6) Wert ausschließen Springer Berlin Heidelberg (CrossRef) (5) Wert ausschließen Wiley (CrossRef) (5) Wert ausschließen American Psychological Association (APA) (CrossRef) (3) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (3) Wert ausschließen Elsevier (CrossRef) (3) Wert ausschließen Lizenzfreie Online-Ressourcen (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (2) Wert ausschließen Nationallizenzen (2) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (2) Wert ausschließen American Association for the Advancement of Science (AAAS) (CrossRef) (1) Wert ausschließen American Mathematical Society (AMS) (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Diss online (1) Wert ausschließen Duke University Press (CrossRef) (1) Wert ausschließen Elsevier eBook collection on ScienceDirect - Mathematics (Nationallizenz) (1) Wert ausschließen IOP Publishing (CrossRef) (1) Wert ausschließen JSTOR (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences II Archive (1) Wert ausschließen JSTOR Arts & Sciences VII Archive (1) Wert ausschließen Public Library of Science (PLoS) (CrossRef) (1) Wert ausschließen RSC eBook Collection 1968-2009 (Nationallizenz) (1) Wert ausschließen Show more show less