Sciweavers

CIE
2006
Springer
15 years 21 days ago
From a Zoo to a Zoology: Descriptive Complexity for Graph Polynomials
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...
Johann A. Makowsky
CIE
2006
Springer
15 years 21 days ago
Understanding and Using Spector's Bar Recursive Interpretation of Classical Analysis
This note reexamines Spector's remarkable computational interpretation of full classical analysis. Spector's interpretation makes use of a rather abstruse recursion schem...
Paulo Oliva
CIE
2006
Springer
15 years 21 days ago
Datatype-Generic Reasoning
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...
Roland Carl Backhouse
CIE
2006
Springer
14 years 9 months ago
Computer game-flow design
Mark John Taylor, David Gresty, M. Baskett
CIE
2006
Springer
14 years 9 months ago
Dean Wright
Newton Lee
Applied Computing
Top of PageReset Settings