Parity games and propositional proofs

Number of the records: 1

1.

SYSNO	0422131
Title	Parity games and propositional proofs
Author(s)	Beckmann, A. (GB) Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Source Title	Mathematical Foundations of Computer Science 2013. S. 111-122. - Berlin : Springer, 2013 / Chatterjee K. ; Sgall J.
Conference	International Symposium on Mathematical Foundations of Computer Science 2013 /38./, Klosterneuburg, 26.08.2013-30.08.2013
Document Type	Konferenční příspěvek (zahraniční konf.)
Grant	IAA100190902 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
Institutional support	MU-W - RVO:67985840
Language	eng
Country	DE
Keywords	resolution proof systems * parity games * game equivalent to resolution
URL	http://link.springer.com/chapter/10.1007%2F978-3-642-40313-2_12
Permanent Link	http://hdl.handle.net/11104/0228345

	File	Download	Size	Commentary	Version	Access
	Pudlak1.pdf	1	214.5 KB		Publisher’s postprint	require

Number of the records: 1