Sciweavers

5608 search results - page 5 / 1122
» On the Theory of Matchgate Computations
Sort
View
ENTCS
1998
63views more  ENTCS 1998»
15 years 5 months ago
Proof theory and computational analysis
Ulrich Kohlenbach
SIGACT
1998
37views more  SIGACT 1998»
15 years 5 months ago
Elements of the Theory of Computation
Harry R. Lewis, Christos H. Papadimitriou