Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
authFullName_s : Zoltán Ésik
Image document

MSO-definable Properties of Muller Context-Free Languages Are Decidable

Zoltán Ésik , Szabolcs Iván
18th 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