4372 search results - page 8 / 875 » Algorithmic Theories of Everything |
LCC
1994
14 years 19 days ago
1994
ASIAN
2007
Springer
14 years 17 days ago
2007
Springer
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
FROCOS
2007
Springer
14 years 2 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...
CORR
1998
Springer
13 years 8 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...