1
Được phát hành 2014
Mục lục: ... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...
lấy văn bản
Điện tử eBook
2
Được phát hành 2005
Mục lục: ...-Approximation Algorithm for Block Sorting -- Computational and Structural Complexity -- On the Power...
lấy văn bản
Điện tử eBook
3
Được phát hành 2010
Mục lục: ... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...
lấy văn bản
Điện tử eBook