Sciweavers

Share
18 search results - page 1 / 4
» stacs 2016
Sort
View
STACS
2016
Springer
4 years 3 months ago
Bottleneck Paths and Trees and Deterministic Graphical Games
Shiri Chechik, Haim Kaplan, Mikkel Thorup, Or Zami...
STACS
2016
Springer
4 years 3 months ago
On a Fragment of AMSO and Tiling Systems
We prove that satisfiability over infinite words is decidable for a fragment of asymptotic monadic second-order logic. In this fragment we only allow formulae of the form ∃t...
Achim Blumensath, Thomas Colcombet, Pawel Parys
STACS
2016
Springer
4 years 3 months ago
Faster Exact and Parameterized Algorithm for Feedback Vertex Set in Tournaments
A tournament is a directed graph T such that every pair of vertices is connected by an arc. A feedback vertex set is a set S of vertices in T such that T −S is acyclic. In this ...
Mithilesh Kumar, Daniel Lokshtanov
STACS
2016
Springer
4 years 3 months ago
On the Number of Lambda Terms With Prescribed Size of Their De Bruijn Representation
John Tromp introduced the so-called ’binary lambda calculus’ as a way to encode lambda terms in terms of 0−1-strings. Later, Grygiel and Lescanne conjectured that the number...
Bernhard Gittenberger, Zbigniew Golebiewski
books