Very Weak, Essentially Undecidabile Set Theories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Domenico Cantone, Eugenio G. Omodeo, Mattia Panettiere. Very Weak, Essentially Undecidabile Set Theories. In Stefania Monica, Federico Bergenti, editors, Proceedings of the 36th Italian Conference on Computational Logic, Parma, Italy, September 7-9, 2021. Volume 3002 of CEUR Workshop Proceedings, pages 31-46, CEUR-WS.org, 2021. [doi]

This author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Eugenio G. Omodeo' in GoogleThis author has not been identified. Look up 'Mattia Panettiere' in Google

runs on WebDSL