4372 search results - page 8 / 875 » Algorithmic Theories of Everything |
275
Voted
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
144
click to vote
FROCOS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In formal approaches, messages sent over a network are usually modeled by terms together with an equational theory, axiomatizing the properties of the cryptographic funct...
130
click to vote
CORR
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...