Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Samuel R. Buss
The Polynomial Hierarchy and Intuitionistic Bounded Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Prospects for Mathematical Logic in the Twenty-First Century
Bulletin of Symbolic Logic
Philosophy
Logic
Related publications
A Semantic Hierarchy for Intuitionistic Logic
Indagationes Mathematicae
Mathematics
Graph Ramsey Theory and the Polynomial Hierarchy
On the Intuitionistic Fuzzy Polynomial Ideals of a Ring
Notes on Intuitionistic Fuzzy Sets
Elimination of Parameters in the Polynomial Hierarchy
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Polynomial Arithmetic Using Sequential Stochastic Logic
Practical Divide-And-Conquer Algorithms for Polynomial Arithmetic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Polynomial Dynamic and Lattice Orbits in S-Arithmetic Homogeneous Spaces
Confluentes Mathematici
Mathematics
Applied Mathematics
Mathematical Physics
Arithmetic Properties of Polynomial Specializations Over Finite Fields
Acta Arithmetica
Number Theory
Algebra
Bounded Color Multiplicity Graph Isomorphism Is in the #L Hierarchy
