2086 search results - page 67 / 418 » Mathematical Theory Exploration |
ENTCS
2008
13 years 8 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
ICALT
2009
IEEE
14 years 18 days ago
2009
IEEE
This study proposed the multi-user G-Math PeerTutoring System for facilitating students' tutoring strategies in math learning in the remedial instruction. The G-Math Peer-Tut...
AMAI
2007
Springer
13 years 8 months ago
2007
Springer
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
ICFP
2005
ACM
14 years 8 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
SIGECOM
2005
ACM
14 years 2 months ago
2005
ACM
This paper initiates research on the foundations of ranking systems, a fundamental ingredient of basic e-commerce and Internet Technologies. In order to understand the essence and...