Sciweavers

5608 search results - page 8 / 1122
» On the Theory of Matchgate Computations
Sort
View
SAC
2008
ACM
15 years 25 days ago
Code-carrying theory
Aytekin Vargun, David R. Musser
BSL
2006
109views more  BSL 2006»
15 years 1 months ago
Computing with functionals - computability theory or computer science?
We review some of the history of the computability theory of functionals of higher types, and we will demonstrate how contributions from logic and theoretical computer science hav...
Dag Normann