3552 search results - page 258 / 711 » Proof theory in the abstract |
163
click to vote
IJAC
2008
15 years 6 months ago
2008
species and combinatorial Hopf algebras on the one hand, and quantum groups and the classification theory of abstract Hopf algebras on the other. This is part of joint work with Sw...
192
click to vote
IJVR
2008
15 years 6 months ago
2008
Due to its importance as a model for several software and hardware applications, automata theory is a core topic in computer science and engineering education. But because of its m...
130
click to vote
CI
2007
15 years 6 months ago
2007
Abstract. We present a general discussion of what constitutes a marketoriented approach to optimization. We demonstrate how a general framework can be used to conceptually improve ...
207
click to vote
JANCL
2007
15 years 6 months ago
2007
ABSTRACT. We formulate a formal framework in which we combine the theory of dynamic epistemic logic and the theory of games. In particular, we show how we can use tools of dynamic ...
206
click to vote
SAGT
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Bounding the price of stability of undirected network design games with fair cost allocation is a challenging open problem in the Algorithmic Game Theory research agenda....