3044 search results - page 86 / 609 » Linear logical approximations |
CORR
2004
Springer
13 years 8 months ago
2004
Springer
We consider linear systems arising from the use of the finite element method for solving a certain class of linear elliptic problems. Our main result is that these linear systems, ...
IJAR
2008
13 years 9 months ago
2008
This paper investigates probabilistic logics endowed with independence relations. We review propositional probabilistic languages without and with independence. We then consider g...
ACTA
2004
13 years 8 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...
FUIN
2010
13 years 6 months ago
2010
We study the notion of solvability in the resource calculus, an extension of the -calculus modelling resource consumption. Since this calculus is non-deterministic, two different ...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Recent years have seen an explosion of interest in lift and project methods, such as those proposed by Lov