Proof complexity in algebraic systems and bounded depth Frege systems with modular counting

Number of the records: 1

SYSNO	0174630
Title	Proof complexity in algebraic systems and bounded depth Frege systems with modular counting
Author(s)	Buss, S. (US) Impagliazzo, R. (US) Krajíček, Jan (MU-W)_{SAI, ORCID} Pudlák, Pavel (MU-W)_{RID, SAI} Razborov, A. A. (SU) Sgall, Jiří (MU-W)_{RID, ORCID, SAI}
Source Title	Computational Complexity. Roč. 6, č. 3 (1997), s. 256-298. - : Springer
Document Type	Článek v odborném periodiku
Language	eng
Country	CH
Permanent Link	http://hdl.handle.net/11104/0071633

	File	Download	Size	Commentary	Version	Access
	Pudlak.pdf	1	389.3 KB		Author’s postprint	open-access

Number of the records: 1