Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Book Chapter
|
Exponential Lower Bound for Static Semi-algebraic ProofsAutomata, Languages and Programming, 2002, p.257-268 [Peer Reviewed Journal]Springer-Verlag Berlin Heidelberg 2002 ;Distributed under a Creative Commons Attribution 4.0 International License ;ISSN: 0302-9743 ;ISBN: 3540438645 ;ISBN: 9783540438649 ;EISSN: 1611-3349 ;EISBN: 3540454659 ;EISBN: 9783540454656 ;DOI: 10.1007/3-540-45465-9_23Full text available |