Subrecursive Programming Systems : Complexity & Succinctness
James S. Royer
Download Now
Format: eBook (PDF)
Polynomial and Matrix Computations : Fundamental Algorithms
Dario Bini
Download Now
Format: eBook (PDF)
Finite Automata, Formal Logic, and Circuit Complexity
Howard Straubing
Download Now
Format: eBook (PDF)
Categorical Combinators, Sequential Algorithms, and Functional Programming
P.-L. Curien
Download Now
Format: eBook (PDF)
Algorithms for Random Generation and Counting: A Markov Chain Approach
A. Sinclair
Download Now
Format: eBook (PDF)
The Graph Isomorphism Problem : Its Structural Complexity
J. Kobler
Download Now
Format: eBook (PDF)
Semantics of Type Theory : Correctness, Completeness and Independence Results
T. Streicher
Download Now
Format: eBook (PDF)
Neural Networks and Analog Computation : Beyond the Turing Limit
Hava T. Siegelmann
Download Now
Format: eBook (PDF)
Solving Higher-Order Equations : From Logic to Programming
Christian Prehofer
Download Now
Format: eBook (PDF)
Isomorphisms of Types : from ?-calculus to information retrieval and language design
Roberto DiCosmo
Download Now
Format: eBook (PDF)
Comparative Metric Semantics of Programming Languages : Nondeterminism and Recursion
Franck van Breughel
Download Now
Format: eBook (PDF)
Nondeterminism in Algebraic Specifications and Algebraic Programs
Hussmann
Download Now
Format: eBook (PDF)