skip to content
Home

Department of Computer Science and Technology

Resources and Co-Resources: A Junction between Semantics and Descriptive Complexity Cambridge, 17 - 19 July 2023

Speaker

Albert Atserias, Universitat Politècnica de Catalunya

Title

Complexity of Proof Search

Abstract

I will survey the area of the algorithmic complexity of proof search for propositional logic, also known as automatability.

Slides

Complexity of Proof Search

Contact us

Department of Computer Science and Technology
University of Cambridge
William Gates Building
15 JJ Thomson Avenue
Cambridge
CB3 0FD

Information provided by pagemaster@cst.cam.ac.uk

Privacy policy

Social media

Athena Swan bronze award logo

Study at Cambridge

About the University

Research at Cambridge