84
Voted
CIE
2006
Springer
15 years 7 months ago
2006
Springer
148
Voted
CIE
2006
Springer
15 years 7 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...
98
Voted
CIE
2006
Springer
15 years 7 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
128
click to vote
CIE
2006
Springer
15 years 7 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...
116
Voted
EEE
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper, we propose a new efficient and secure micro-payment scheme, named e-coupons, which can provide the users the facility of delegating their spending capability to oth...