Sciweavers

8512 search results - page 55 / 1703
» Computing Theory With Relevance
Sort
View
76
Voted
ENTCS
2000
52views more  ENTCS 2000»
15 years 2 months ago
Developing Theories of Types and Computability via Realizability
Lars Birkedal
ENTCS
1998
63views more  ENTCS 1998»
15 years 2 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
77
Voted
SIGACT
1998
37views more  SIGACT 1998»
15 years 2 months ago
Elements of the Theory of Computation
Harry R. Lewis, Christos H. Papadimitriou