Nested antichains for WS1S

Tomás Fiedor, Lukás Holík, Ondrej Lengál, Tomás Vojnar. Nested antichains for WS1S. Acta Informatica, 56(3):205-228, 2019. [doi]

Authors

Tomás Fiedor

This author has not been identified. Look up 'Tomás Fiedor' in Google

Lukás Holík

This author has not been identified. Look up 'Lukás Holík' in Google

Ondrej Lengál

This author has not been identified. Look up 'Ondrej Lengál' in Google

Tomás Vojnar

This author has not been identified. Look up 'Tomás Vojnar' in Google