No Cover Image

Conference Paper/Proceeding/Abstract 563 views

Parity Games and Propositional Proofs / Arnold Beckmann; Pavel Pudlák; Neil Thapen

Mathematical Foundations of Computer Science 2013, Volume: 8087, Pages: 111 - 122

Swansea University Author: Arnold, Beckmann

Full text not available from this repository: check for access using links below.

DOI (Published version): 10.1007/978-3-642-40313-2_12

Published in: Mathematical Foundations of Computer Science 2013
Published: Berlin Heidelberg Springer 2013
URI: https://cronfa.swan.ac.uk/Record/cronfa15232
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science
Start Page: 111
End Page: 122