2 search results - page 1 / 1 » Understanding Space in Proof Complexity: Separations and Tra... |
CORR
2010
Springer
15 years 6 months ago
2010
Springer
167
click to vote
APLAS
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...