Sciweavers

12052 search results - page 50 / 2411
» computing 2010
Sort
View
37
Voted
CORR
2010
Springer
57views Education» more  CORR 2010»
15 years 19 days ago
Open Graphs and Computational Reasoning
Lucas Dixon, Ross Duncan, Aleks Kissinger
78
Voted
CORR
2010
Springer
89views Education» more  CORR 2010»
15 years 19 days ago
Closed nominal rewriting and efficiently computable nominal algebra equality
Maribel Fernández, Murdoch James Gabbay
40
Voted
CORR
2010
Springer
96views Education» more  CORR 2010»
15 years 19 days ago
Geometry of abstraction in quantum computation
ion Dusko Pavlovic
Dusko Pavlovic
49
Voted
CORR
2010
Springer
56views Education» more  CORR 2010»
15 years 19 days ago
The Computational Complexity of Linear Optics
Scott Aaronson, Alex Arkhipov