472 search results - page 4 / 95 » Limiting Negations in Formulas |
ACTA
2004
13 years 7 months ago
2004
We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...
IJISEC
2007
13 years 7 months ago
2007
The paper extends the idea of negative representations of information for enhancing privacy. Simply put, a set DB of data elements can be represented in terms of its complement set...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
MOC
2002
13 years 7 months ago
2002
Abstract. In this paper, we are interested in the evaluation of the zeta function of the simplest cubic field. We first introduce Siegel's formula for values of the zeta funct...
QUESTA
2008
13 years 7 months ago
2008
We analyze the output process of finite capacity birth-death Markovian queues. We develop a formula for the asymptotic variance rate of the form + vi where is the rate of outputs...