Sciweavers

2 search results - page 1 / 1
» Focused and Synthetic Nested Sequents
Sort
View
CSL
2010
Springer
13 years 4 months ago
Classical and Intuitionistic Subexponential Logics Are Equally Expressive
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
Kaustuv Chaudhuri
ER
2006
Springer
123views Database» more  ER 2006»
13 years 7 months ago
A Quantitative Summary of XML Structures
Statistical summaries in relational databases mainly focus on the distribution of data values and have been found useful for various applications, such as query evaluation and data...
Zi Lin, Bingsheng He, Byron Choi