45 search results - page 1 / 9 » Introduction to Turing categories |
APAL
2008
13 years 5 months ago
2008
Book
Very well organized and easy to follow book. The table of content can be downloaded from the attachment section below.
CALCO
2007
Springer
13 years 11 months ago
2007
Springer
Adhesive categories are a class of categories in which pushouts along monos are well-behaved with respect to pullbacks. Recently it has been shown that any topos is adhesive. Many ...
CORR
1999
Springer
13 years 5 months ago
1999
Springer
: In the early 1980s, Selman's seminal work on positive Turing reductions showed that positive Turing reduction to NP yields no greater computational power than NP itself. Thu...
CORR
2011
Springer
13 years 9 days ago
2011
Springer
