No Cover Image

Conference Paper/Proceeding/Abstract 1074 views

Parity Games and Propositional Proofs

Arnold Beckmann Orcid Logo, Pavel Pudlák, Neil Thapen

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

Swansea University Author: Arnold Beckmann Orcid Logo

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!
first_indexed 2013-12-04T11:58:29Z
last_indexed 2018-02-09T04:47:02Z
id cronfa15232
recordtype SURis
fullrecord <?xml version="1.0"?><rfc1807><datestamp>2015-01-15T08:53:36.4925930</datestamp><bib-version>v2</bib-version><id>15232</id><entry>2013-07-21</entry><title>Parity Games and Propositional Proofs</title><swanseaauthors><author><sid>1439ebd690110a50a797b7ec78cca600</sid><ORCID>0000-0001-7958-5790</ORCID><firstname>Arnold</firstname><surname>Beckmann</surname><name>Arnold Beckmann</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2013-07-21</date><deptcode>SCS</deptcode><abstract></abstract><type>Conference Paper/Proceeding/Abstract</type><journal>Mathematical Foundations of Computer Science 2013</journal><volume>8087</volume><paginationStart>111</paginationStart><paginationEnd>122</paginationEnd><publisher>Springer</publisher><placeOfPublication>Berlin Heidelberg</placeOfPublication><issnPrint/><issnElectronic/><keywords/><publishedDay>31</publishedDay><publishedMonth>8</publishedMonth><publishedYear>2013</publishedYear><publishedDate>2013-08-31</publishedDate><doi>10.1007/978-3-642-40313-2_12</doi><url/><notes></notes><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm/><lastEdited>2015-01-15T08:53:36.4925930</lastEdited><Created>2013-07-21T14:47:08.6155960</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Arnold</firstname><surname>Beckmann</surname><orcid>0000-0001-7958-5790</orcid><order>1</order></author><author><firstname>Pavel</firstname><surname>Pudl&#xE1;k</surname><order>2</order></author><author><firstname>Neil</firstname><surname>Thapen</surname><order>3</order></author></authors><documents/><OutputDurs/></rfc1807>
spelling 2015-01-15T08:53:36.4925930 v2 15232 2013-07-21 Parity Games and Propositional Proofs 1439ebd690110a50a797b7ec78cca600 0000-0001-7958-5790 Arnold Beckmann Arnold Beckmann true false 2013-07-21 SCS Conference Paper/Proceeding/Abstract Mathematical Foundations of Computer Science 2013 8087 111 122 Springer Berlin Heidelberg 31 8 2013 2013-08-31 10.1007/978-3-642-40313-2_12 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University 2015-01-15T08:53:36.4925930 2013-07-21T14:47:08.6155960 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Arnold Beckmann 0000-0001-7958-5790 1 Pavel Pudlák 2 Neil Thapen 3
title Parity Games and Propositional Proofs
spellingShingle Parity Games and Propositional Proofs
Arnold Beckmann
title_short Parity Games and Propositional Proofs
title_full Parity Games and Propositional Proofs
title_fullStr Parity Games and Propositional Proofs
title_full_unstemmed Parity Games and Propositional Proofs
title_sort Parity Games and Propositional Proofs
author_id_str_mv 1439ebd690110a50a797b7ec78cca600
author_id_fullname_str_mv 1439ebd690110a50a797b7ec78cca600_***_Arnold Beckmann
author Arnold Beckmann
author2 Arnold Beckmann
Pavel Pudlák
Neil Thapen
format Conference Paper/Proceeding/Abstract
container_title Mathematical Foundations of Computer Science 2013
container_volume 8087
container_start_page 111
publishDate 2013
institution Swansea University
doi_str_mv 10.1007/978-3-642-40313-2_12
publisher Springer
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
document_store_str 0
active_str 0
published_date 2013-08-31T03:17:21Z
_version_ 1763750383220424704
score 11.014291

Similar Items