FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
The diff3 algorithm is widely considered the gold standard for merging uncoordinated changes to list-structured data such as text files. Surprisingly, its fundamental properties h...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. We explain a double-category (of positions and plays) attached to the theory of HOgames (those with the so-called switching condition [7]) from which the category of aren...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
There are two somewhat contradictory ways of looking at modules in a given programming language. On the one hand, module systems are largely independent of the particulars of progr...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
We study the question of the existence of non-mitotic sets in NP. We show under various hypotheses that • 1-tt-mitoticity and m-mitoticity differ on NP. • 1-tt-reducibility a...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
We consider scheduling problems in which a job consists of components of different types to be processed on m machines. Each machine is capable of processing components of a singl...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
We study several cost coloring problems, where we are given a graph and a cost function on the independent sets and are to find a coloring that minimizes the function costs of the...
FSTTCS
2007
Springer
13 years 10 months ago
2007
Springer
We consider computational problems on covering graphs with bicliques (complete bipartite subgraphs). Given a graph and an integer k, the biclique cover problem asks whether the edg...