3238 search results - page 113 / 648 » On the Computational Interpretation of Negation |
167
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
122
click to vote
DIGRA
2003
Springer
15 years 11 months ago
2003
Springer
This essay explores aspects of the history of wargaming in order to develop fresh perspectives on the analysis of contemporary computer games. Wargaming is considered in relation ...
128
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
This case study compares students' learning experience and outcomes in the lecture and online versions of a first-year introductory computing course offered at the Department...
146
click to vote
IPPS
2007
IEEE
16 years 21 days ago
2007
IEEE
Performance tuning involves a diagnostic process to locate and explain sources of program inefficiency. A performance diagnosis system can leverage knowledge of performance cause...
147
click to vote
CIE
2007
Springer
16 years 18 days ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...