611 search results - page 18 / 123 » Yuri, Logic, and Computer Science |
TCS
2011
14 years 4 months ago
2011
We provide new correctness criteria for all fragments (multiplicative, exponential, additive) of linear logic. We use these criteria for proving that deciding the correctness of a...
STACS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
MFCS
2000
Springer
15 years 1 months ago
2000
Springer
The probability of a property on the collection of all finite relational structures is the limit as
CSR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. How could one estimate the total number of clicks a new advertisement could potentially receive in the current market? This question, called the click volume estimation p...
ERSHOV
2003
Springer
15 years 2 months ago
2003
Springer