Sciweavers

8512 search results - page 55 / 1703
» Computing Theory With Relevance
Sort
View
ENTCS
1998
63views more  ENTCS 1998»
13 years 7 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
SIGACT
1998
37views more  SIGACT 1998»
13 years 7 months ago
Elements of the Theory of Computation
Harry R. Lewis, Christos H. Papadimitriou