Sciweavers

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