Search filters

Authors whose works are in public domain in at least one jurisdiction

List of works by Albert Atserias

Affine Systems of Equations and Counting Infinitary Logic

Affine systems of equations and counting infinitary logic

Circular (Yet Sound) Proofs in Propositional Logic

scientific article published on 30 January 2023

Degree Lower Bounds of Tower-Type for Approximating Formulas with Parity Quantifiers

article

Degree lower bounds of tower-type for approximating formulas with parity quantifiers

article

Lower Bounds for the Weak Pigeonhole Principle and Random Formulas beyond Resolution

scientific article published in August 2002

Narrow Proofs May Be Maximally Long

Narrow Proofs May Be Maximally Long

article published in 2014

On preservation under homomorphisms and unions of conjunctive queries

On preservation under homomorphisms and unions of conjunctive queries

On the automatizability of resolution and related propositional proof systems

scientific article published on 2004

Preservation Under Extensions on Well-Behaved Finite Structures

Preservation under Extensions on Well-Behaved Finite Structures

Paulina is supported by:

About Paulina

Help