1860 search results - page 266 / 372 » tools 2009 |
168
click to vote
LFCS
2009
Springer
16 years 9 days ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
150
click to vote
MDAI
2009
Springer
16 years 9 days ago
2009
Springer
Web 2.0 Communities allow large amounts of users to interact with each others. In fact, new Web 2.0 technologies allow to share resources and information in an easy and timely mann...
165
click to vote
MEMBRANE
2009
Springer
16 years 9 days ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
170
click to vote
MHCI
2009
Springer
16 years 9 days ago
2009
Springer
Mobile users listen to large digital music libraries with thousands of songs. Browsing such libraries in mobile contexts is difficult due to constraints of the context and devices...
142
click to vote
MKM
2009
Springer
16 years 9 days ago
2009
Springer
This paper presents a proof language based on the work of Sacerdoti Coen [1,2], Kirchner [3] and Autexier [4] on ¯λµ˜µ, a calculus introduced by Curien and Herbelin [5,6]. Jus...