Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Joanna Ochremiak
Proof Complexity Meets Algebra
ACM Transactions on Computational Logic
Computational Mathematics
Theoretical Computer Science
Computer Science
Logic
Definable Ellipsoid Method, Sums-Of-Squares Proofs, and the Isomorphism Problem
Related publications
Parameterized Proof Complexity
Computational Complexity
Mathematics
Computational Mathematics
Theoretical Computer Science
Computational Theory
Diagonalization in Proof Complexity
Fundamenta Mathematicae
Number Theory
Algebra
Logic Meets Algebra: The Case of Regular Languages
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Small Heat Shock Proteins: Simplicity Meets Complexity
Journal of Biological Chemistry
Biochemistry
Cell Biology
Molecular Biology
Complexity in Protein Folding: Simulation Meets Experiment
Current Physical Chemistry
Witnessing Matrix Identities and Proof Complexity
International Journal of Algebra and Computation
Mathematics
Proof Complexity of Propositional Default Logic
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Proof Complexity of Propositional Default Logic
Archive for Mathematical Logic
Philosophy
Logic
A Cut-Free Cyclic Proof System for Kleene Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
