Sciweavers

14 search results - page 1 / 3
» fsttcs 2003
Sort
View
FSTTCS
2003
Springer
13 years 10 months ago
Subtyping Constraints in Quasi-lattices
Emmanuel Coquery, François Fages
FSTTCS
2003
Springer
13 years 10 months ago
Real-Time Model-Checking: Parameters Everywhere
Véronique Bruyère, Jean-Franç...
FSTTCS
2003
Springer
13 years 10 months ago
Minimality Results for the Spatial Logics
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
FSTTCS
2003
Springer
13 years 10 months ago
An Improved Approximation Scheme for Computing Arrow-Debreu Prices for the Linear Case
Recently, Jain, Mahdian and Saberi [5] had given a FPTAS for the problem of computing a market equilibrium in the Arrow-Debreu setting, when the utilities are linear functions. The...
Nikhil R. Devanur, Vijay V. Vazirani
FSTTCS
2003
Springer
13 years 10 months ago
Word Equations over Graph Products
For monoids that satisfy a weak cancellation condition, it is shown that the decidability of the existential theory of word equations is preserved under graph products. Furthermore...
Volker Diekert, Markus Lohrey