CIE
2006
Springer
14 years 6 months ago
2006
Springer
CIE
2006
Springer
14 years 7 months ago
2006
Springer
In Bishop-style constructive algebra it is known that if a module over a commutative ring has a Noetherian basis function, then it is Noetherian. Using countable choice we prove th...
CIE
2006
Springer
14 years 9 months ago
2006
Springer
Wegner and Eberbach[Weg04b] have argued that there are fundamental limitations to Turing Machines as a foundation of computability and that these can be overcome by so-called super...
CIE
2006
Springer
14 years 9 months ago
2006
Springer
CIE
2006
Springer
14 years 9 months ago
2006
Springer
CIE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. We outline a general theory of graph polynomials which covers all the examples we found in the vast literature, in particular, the chromatic polynomial, various generaliz...
CIE
2006
Springer
14 years 9 months ago
2006
Springer
We introduce two hierarchies of unknown ordinal height. The hierarchies are induced by natural fragments of a calculus based on finite types and G
CIE
2006
Springer
14 years 9 months ago
2006
Springer
or representation theory of groups), and even borrows abstract geometrical concepts like Euler characteristic or Grothendieck ring. However, the most stimulating for proof complexi...
CIE
2006
Springer
14 years 9 months ago
2006
Springer
CIE
2006
Springer
14 years 9 months ago
2006
Springer
Abstract. Graph isomorphism (GI) is one of the few remaining problems in NP whose complexity status couldn't be solved by classifying it as being either NP-complete or solvabl...