×

Found 3 Documents (Results 1–3)

Exponential lower bound for static semi-algebraic proofs. (English) Zbl 1056.03037

Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 257-268 (2002).
MSC:  03F20 68Q17
PDFBibTeX XMLCite
Full Text: Link

Complexity of semi-algebraic proofs. (English) Zbl 1054.03035

Alt, Helmut (ed.) et al., STACS 2002. 19th annual symposium on theoretical aspects of computer science. Antibes - Juan les Pins, France, March 14–16, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43283-3). Lect. Notes Comput. Sci. 2285, 419-430 (2002).
MSC:  03F20 03B35
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

Main Field