8838 search results - page 207 / 1768 » Generalizing Domain Theory |
129
click to vote
IGPL
2008
15 years 4 months ago
2008
We propose here an extension of Rice's Theorem to first-order logic, proven by totally elementary means. If P is any property defined over the collection of all first-order t...
141
Voted
RTA
2005
Springer
15 years 10 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
117
click to vote
DESRIST
2009
Springer
15 years 9 months ago
2009
Springer
This essay extends Simon’s arguments in the Sciences of the Artificial to a critical examination of how theorizing in Information Technology disciplines should occur. The essay ...
136
Voted
CCS
2008
ACM
15 years 6 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
130
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Building semantic models that account for various kinds of indirect reference has traditionally been a difficult problem. Indirect reference can appear in many guises, such as hea...