1
出版 2014
书本目录: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
获取全文
电子 电子书
2
出版 2006
书本目录: ... Pareto Genetic Programming -- A Higher-Order Function Approach to Evolve Recursive Programs -- Trivial...
获取全文
电子 电子书
3
出版 2005
书本目录: ... of Monotone DNFs -- Bounds on the Power of Constant-Depth Quantum Circuits -- Automata I -- Biautomatic...
获取全文
电子 电子书
4
出版 2005
书本目录: ... in Games with a Large Number of Actions -- On the Complexity of Depth-2 Circuits with Threshold Gates...
获取全文
电子 电子书
5
出版 2007
书本目录: ...: An Update -- RZ: A Tool for Bringing Constructive and Computable Mathematics Closer to Programming Practice...
获取全文
电子 电子书