Decidability of difference logics with unary predicates - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernard Boigelot, Pascal Fontaine, Baptiste Vergain. Decidability of difference logics with unary predicates. In Ali Kemal Uncu, Haniel Barbosa, editors, Proceedings of the 7th SC-Square Workshop co-located with the Federated Logic Conference, SC-Square@FLoC 2022, as a part of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, Haifa, Israel, August 12, 2022. Volume 3458 of CEUR Workshop Proceedings, pages 25-36, CEUR-WS.org, 2022. [doi]

This author has not been identified. Look up 'Bernard Boigelot' in GoogleThis author has not been identified. Look up 'Pascal Fontaine' in GoogleThis author has not been identified. Look up 'Baptiste Vergain' in Google

runs on WebDSL