3552 search results - page 31 / 711 » Proof theory in the abstract |
101
click to vote
CSL
2008
Springer
15 years 3 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
115
click to vote
DIAGRAMS
2010
Springer
15 years 3 months ago
2010
Springer
Shimojima and Katagiri have demonstrated that diagrams reduce "inferential load" during reasoning by scaffolding visual-spatial aspects of memory. In response, we wondere...
MLQ
2006
15 years 1 months ago
2006
This paper is a companion to work of Feferman, J
126
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract--This paper considers the noncooperative maximization of mutual information in the Gaussian interference channel in a fully distributed fashion via game theory. This probl...
ICLA
2009
Springer
15 years 8 months ago
2009
Springer