3690 search results - page 18 / 738 » Computation with classical sequents |
FOCS
2004
IEEE
14 years 2 months ago
2004
IEEE
ECCC
2002
13 years 10 months ago
2002
Would physical laws permit the construction of computing machines that are capable of solving some problems much faster than the standard computational model? Recent evidence sugge...
LICS
2007
IEEE
14 years 4 months ago
2007
IEEE
ISVC
2005
Springer
14 years 3 months ago
2005
Springer
TCS
2010
13 years 8 months ago
2010
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...