Parity games and propositional proofs

Počet záznamů: 1

1.

SYSNO	0422131
Název	Parity games and propositional proofs
Tvůrce(i)	Beckmann, A. (GB) Pudlák, Pavel (MU-W)_{RID, SAI} Thapen, Neil (MU-W)_{RID, SAI}
Zdroj.dok.	Mathematical Foundations of Computer Science 2013. S. 111-122. - Berlin : Springer, 2013 / Chatterjee K. ; Sgall J.
Konference	International Symposium on Mathematical Foundations of Computer Science 2013 /38./, Klosterneuburg, 26.08.2013-30.08.2013
Druh dok.	Konferenční příspěvek (zahraniční konf.)
Grant	IAA100190902 GA AV ČR - Akademie věd
Institucionální podpora	MU-W - RVO:67985840
Jazyk dok.	eng
Země vyd.	DE
Klíč.slova	resolution proof systems * parity games * game equivalent to resolution
URL	http://link.springer.com/chapter/10.1007%2F978-3-642-40313-2_12
Trvalý link	http://hdl.handle.net/11104/0228345

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	Pudlak1.pdf	1	214.5 KB		Vydavatelský postprint	vyžádat

Počet záznamů: 1