Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Alasdair Urquhart
Width and Size of Regular Resolution Proofs
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Narrow Proofs May Be Spacious:Separating Space and Width in Resolution
SIAM Journal on Computing
Mathematics
Computer Science
Graph Expansion, Tseitin Formulas and Resolution Proofs for CSP
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Labelled Interpolation Systems for Hyper-Resolution, Clausal, and Local Proofs
Journal of Automated Reasoning
Computational Theory
Software
Artificial Intelligence
Mathematics
Injectivity Radius of Representations of Triangle Groups and Planar Width of Regular Hypermaps
Ars Mathematica Contemporanea
Algebra
Combinatorics
Number Theory
Geometry
Discrete Mathematics
Theoretical Computer Science
Topology
Variance of Size in Regular Graph Tries
Gromov Width of Non-Regular Coadjoint Orbits of U(n), SO(2n) and SO(2n + 1)
Mathematical Research Letters
Mathematics
Observations of the Auroral Width Spectrum at Kilometre-Scale Size
Annales Geophysicae
Planetary Sciences
Geology
Space
Atmospheric Science
Planetary Science
Astrophysics
Earth
Astronomy
Simulation-Sound NIZK Proofs for a Practical Language and Constant Size Group Signatures
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
0010 the Importance of Conducting Regular Safety Inspections in Small and Medium Size Enterprises0010 the Importance of Conducting Regular Safety Inspections in Small and Medium Size Enterprises
Occupational and Environmental Medicine
Environmental
Public Health
Occupational Health
