Prime Implicate Generation in Equational Logic (extended abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Prime Implicate Generation in Equational Logic (extended abstract). In Jérôme Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden. pages 5588-5592, ijcai.org, 2018. [doi]

This author has not been identified. Look up 'Mnacho Echenim' in GoogleThis author has not been identified. Look up 'Nicolas Peltier' in GoogleThis author has not been identified. Look up 'Sophie Tourret' in Google

runs on WebDSL