14084 search results - page 167 / 2817 » A Theory for Game Theories |
PDS
1996
13 years 9 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Propositional type theory, first studied by Henkin, is the restriction of simple type theory to a single base type that is interpreted as the set of the two truth values. We show ...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
G
APAL
2006
13 years 8 months ago
2006
We introduce the oak property of first order theories, which is a syntactical condition that we show to be sufficient for a theory not to have universal models in cardinality whe...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
In this paper, an educational software aimed to help learning Information Theory basics in a practical way is reported. The software, called IT-tutor-UV, can produce entropy analy...