3552 search results - page 142 / 711 » Proof theory in the abstract |
151
click to vote
JSYML
2006
15 years 6 months ago
2006
Abstract. We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-L
201
click to vote
FUN
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We analyze the computational complexity of various twodimensional platform games. We identify common properties of these games that allow us to state several meta-theorem...
165
click to vote
TIT
1998
15 years 6 months ago
1998
Abstract—A brief chronicle is given of the historical development of the central problems in the theory of fundamental limits of data compression and reliable communication.
151
click to vote
AC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. These notes form the basis of four lectures given at the Summer School on Generic Programming, Oxford, UK, which took place dur
148
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],