Sciweavers

8 search results - page 1 / 2
» fsttcs 1999
Sort
View
FSTTCS
1999
Springer
13 years 7 months ago
Graded Modalities and Resource Bisimulation
Flavio Corradini, Rocco De Nicola, Anna Labella
FSTTCS
1999
Springer
13 years 7 months ago
A Randomized Algorithm for Flow Shop Scheduling
Abstract. Shop scheduling problems are known to be notoriously intractable, both in theory and practice. In this paper we give a randomized approximation algorithm for flow shop s...
Naveen Garg, Sachin Jain, Chaitanya Swamy
FSTTCS
1999
Springer
13 years 7 months ago
Explicit Substitutions and Programming Languages
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
Jean-Jacques Lévy, Luc Maranget