HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Search by documents

hal-03223242v1  Conference papers
Pierre BourhisAlejandro GrezLouis JachietCristian Riveros. Ranked enumeration of MSO logic on words
24th International Conference on Database Theory, 2021, March 23-26, 2021, Nicosia, Cyprus, Mar 2021, Nicosia / Virtual, Cyprus. pp.20:1--20:19, ⟨10.4230/LIPIcs.ICDT.2021.20⟩