2694 search results - page 350 / 539 » Frege's New Science |
175
click to vote
RTA
2005
Springer
15 years 12 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...
168
click to vote
SPIN
2005
Springer
15 years 12 months ago
2005
Springer
We describe a method for the specification and verification of the dynamic behaviour of component systems. Building applications using a component framework allows the developers...
167
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
There is growing public concern about personal data collected by both private and public sectors. People have very little control over what kinds of data are stored and how such da...
156
click to vote
WG
2005
Springer
15 years 12 months ago
2005
Springer
We review the concepts of hypertree decomposition and hypertree width from a graph theoretical perspective and report on a number of recent results related to these concepts. We al...
175
click to vote
CSCW
2004
ACM
15 years 12 months ago
2004
ACM
Academic conferences provide a social space for people to present their work, learn about others’ work, and interact informally with one another. However, opportunities for inte...