On the Elimination of Quantifiers through Descriptors in Predicate Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo. On the Elimination of Quantifiers through Descriptors in Predicate Logic. In Francesca A. Lisi, editor, Proceedings of the 9th Italian Convention on Computational Logic, Rome, Italy, June 6-7, 2012. Volume 857 of CEUR Workshop Proceedings, pages 17-31, CEUR-WS.org, 2012. [doi]

This author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Marianna Nicolosi Asmundo' in GoogleThis author has not been identified. Look up 'Eugenio G. Omodeo' in Google

runs on WebDSL