Number of the records: 1

Algebraic proofs over noncommutative formulas

SYSNO	0374819
Title	Algebraic proofs over noncommutative formulas
Author(s)	Tzameret, Iddo (MU-W)_SAI
Source Title	Information and Computation. Roč. 209, č. 10 (2011), s. 1269-1292. - : Elsevier
Document Type	Článek v odborném periodiku
Grant	LC505 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
CEZ	AV0Z10190503 - MU-W (2005-2011)
Language	eng
Country	US
Keywords	proof complexity * algebraic proof systems * frege proofs
URL	http://www.sciencedirect.com/science/article/pii/S089054011100109X
Permanent Link	http://hdl.handle.net/11104/0207646

	File	Download	Size	Commentary	Version	Access
	Tzameret.pdf	1	355.8 KB		Publisher’s postprint	require

Number of the records: 1