Propositional proofs, proofs of membership in polynomial ideals, and their complexity

Number of the records: 1

SYSNO	0174443
Title	Propositional proofs, proofs of membership in polynomial ideals, and their complexity
Author(s)	Krajíček, Jan (MU-W)_{SAI, ORCID}
Source Title	Bulletin of the ASL. Roč. 3, č. 1 (1997), s. 77-78
Conference	European meeting of the Association of Symbolic Logic, Logic Colloquium 95, Haifa, 09.08.1995-17.08.1995
Document Type	Článek v odborném periodiku
Grant	IAA1019602 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
Language	eng
Country	IL
Permanent Link	http://hdl.handle.net/11104/0071451

Number of the records: 1