-
1
Universal Tree Source Coding Using Grammar-Based Compression
Veröffentlicht in IEEE transactions on information theory
VolltextArtikel -
2
-
3
Derandomization for Sliding Window Algorithms with Strict Correctness
Veröffentlicht in Theory of computing systems
VolltextArtikel -
4
Existential Definability over the Subword Ordering
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
5
Constructing small tree grammars and small circuits for formulas
Veröffentlicht in Journal of computer and system sciences
VolltextArtikel -
6
The Complexity of Bisimulation and Simulation on Finite Systems
Veröffentlicht in Logical methods in computer science
VolltextArtikel -
7
-
8
A Universal Tree Balancing Theorem
Veröffentlicht in ACM transactions on computation theory
VolltextArtikel -
9
-
10
Context-Bounded Verification of Context-Free Specifications
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
11
Ramsey Quantifiers in Linear Arithmetics
Veröffentlicht in Proceedings of ACM on programming languages
VolltextArtikel -
12
The Complexity of Bisimulation and Simulation on Finite Systems
Veröffentlicht in arXiv.org
VolltextArtikel -
13
Circuits and Expressions over Finite Semirings
Veröffentlicht in ACM transactions on computation theory
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20