167 search results - page 12 / 34 » The central role of mathematical logic in computer science |
79
Voted
AIME
2003
Springer
15 years 4 months ago
2003
Springer
Medical science conceives the human body as a system comprised of many subsystems at a variety of levels. At the highest level are bodily systems proper, such as the endocrine syst...
ENTCS
2006
14 years 11 months ago
2006
It is common practice in both theoretical computer science and theoretical physics to describe the (static) logic of a system by means of a complete lattice. When formalizing the d...
107
Voted
NC
2010
14 years 10 months ago
2010
My main objective is to point out a fundamental weakness in the conventional conception of computation and suggest a promising way out. This weakness is directly related to a gross...
TLCA
2009
Springer
15 years 6 months ago
2009
Springer
G¨odel’s completeness theorem is concerned with provability, while Girard’s theorem in ludics (as well as full completeness theorems in game semantics) are concerned with proo...
109
Voted
ICTAI
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...