Filter your results
- 3
- 3
- 3
- 1
- 1
- 1
- 3
- 3
- 2
- 1
|
|
|
sorted by
|
|
|
The Syntactic Complexity of Semi-flower Languages21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.147-157, ⟨10.1007/978-3-030-23247-4_11⟩
Conference papers
hal-02387298v1
|
||
|
|
MSO-definable Properties of Muller Context-Free Languages Are Decidable18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.87-97, ⟨10.1007/978-3-319-41114-9_7⟩
Conference papers
hal-01633953v1
|
||
|
|
Recognizing Union-Find Trees Built Up Using Union-By-Rank Strategy is NP-Complete19th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2017, Milano, Italy. pp.152-163, ⟨10.1007/978-3-319-60252-3_12⟩
Conference papers
hal-01657003v1
|