Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jelle Hellings, Marc Gyssens, Jan Van den Bussche, Dirk Van Gucht. Expressive Completeness of Two-Variable First-Order Logic with Counting for First-Order Logic Queries on Rooted Unranked Trees. In 38th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2023, Boston, MA, USA, June 26-29, 2023. pages 1-13, IEEE, 2023. [doi]

This author has not been identified. Look up 'Jelle Hellings' in GoogleThis author has not been identified. Look up 'Marc Gyssens' in GoogleThis author has not been identified. Look up 'Jan Van den Bussche' in GoogleThis author has not been identified. Look up 'Dirk Van Gucht' in Google

runs on WebDSL