CIE
15 years 21 days 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
15 years 21 days 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...
CIE
15 years 21 days 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
14 years 9 months ago
2006 Springer CIE
14 years 9 months ago
2006 Springer |