Sciweavers

5964 search results - page 61 / 1193
» A theory of speculative computation
Sort
View
ENTCS
1998
63views more  ENTCS 1998»
15 years 3 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
SIGACT
1998
37views more  SIGACT 1998»
15 years 3 months ago
Elements of the Theory of Computation
Harry R. Lewis, Christos H. Papadimitriou