Sciweavers

14 search results - page 1 / 3
» fsttcs 2003
Sort
View
FSTTCS
2003
Springer
14 years 1 months ago
Subtyping Constraints in Quasi-lattices
Emmanuel Coquery, François Fages
FSTTCS
2003
Springer
14 years 1 months ago
Real-Time Model-Checking: Parameters Everywhere
Véronique Bruyère, Jean-Franç...
FSTTCS
2003
Springer
14 years 1 months ago
Minimality Results for the Spatial Logics
Daniel Hirschkoff, Étienne Lozes, Davide Sa...
FSTTCS
2003
Springer
14 years 1 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
14 years 1 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