most citedCompatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

1 citations

researchers with a paper here

2 papers

cs.LO2008★ 1 cited

Compatibility of Shelah and Stupp's and Muchnik's iteration with fragments of monadic second order logic

Dietrich Kuske

We investigate the relation between the theory of the iterations in the sense of Shelah-Stupp and of Muchnik, resp., and the theory of the base structure for several logics. These…

cs.DM2007

Weighted Matching in the Semi-Streaming Model

Mariano Zelke

We reduce the best known approximation ratio for finding a weighted matching of a graph using a one-pass semi-streaming algorithm from 5.828 to 5.585. The semi-streaming model forb…