14084 search results - page 161 / 2817 » A Theory for Game Theories |
ICDE
2007
IEEE
14 years 2 months ago
2007
IEEE
Control theory is a well established discipline that has emerged from aeronautical, electrical, and mechanical engineering to provide a formal approach to building robust systems....
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
IMA
2005
Springer
14 years 1 months ago
2005
Springer
In this article we show that coding theory can be exploited efficiently for the cryptanalysis of hash functions. We will mainly focus
CSL
2003
Springer
14 years 1 months ago
2003
Springer
We propose a method for realising the proofs of Intuitionistic Zermelo-Fraenkel set theory (IZF) by strongly normalising λ-terms. This
ECAI
1992
Springer
14 years 11 days ago
1992
Springer
The literature on the nature and representation of time is full of disputes and contradictory theories. This is surprising since the nature of time does not cause any worry for pe...