133
click to vote
CIE
15 years 6 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...
127
click to vote
CIE
15 years 6 months ago
2006 Springer 
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
110
click to vote
CIE
15 years 6 months ago
2006 Springer
Abstract. Datatype-generic programs are programs that are parameterised by a datatype. Designing datatype-generic programs brings new challenges and new opportunities. We review th...
CIE
15 years 2 months ago
2006 Springer  CIE
15 years 2 months ago
2006 Springer  |
Applied Computing