4573 search results - page 196 / 915 » Automated Reasoning |
118
Voted
GIS
2008
ACM
15 years 3 months ago
2008
ACM
GIS
2007
ACM
15 years 3 months ago
2007
ACM
107
Voted
CSL
2004
Springer
15 years 3 months ago
2004
Springer
110
click to vote
CSL
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We investigate the possibility of giving a computational interpretation of an involutive negation in classical natural deduction. We first show why this cannot be simply ...
109
click to vote
CSL
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Building on previous work by Mints, Buchholz and Schwichtenberg, a simplified version of continuous normalization for the untyped -calculus and G