4372 search results - page 8 / 875 » Algorithmic Theories of Everything |
241
Voted
LCC
1994
15 years 7 months ago
1994
270
Voted
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
136
Voted
FROCOS
2007
Springer
15 years 9 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...
126
Voted
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...