Proof Methods and Theorem Proving for Conditional Logics with Strong Centering - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Valentina Gliozzi, Gian Luca Pozzato, Alberto Valese. Proof Methods and Theorem Proving for Conditional Logics with Strong Centering. In Agostino Dovier, Andrea Formisano 0001, editors, Proceedings of the 38th Italian Conference on Computational Logic, Udine, Italy, June 21-23, 2023. Volume 3428 of CEUR Workshop Proceedings, CEUR-WS.org, 2023. [doi]

This author has not been identified. Look up 'Valentina Gliozzi' in GoogleThis author has not been identified. Look up 'Gian Luca Pozzato' in GoogleThis author has not been identified. Look up 'Alberto Valese' in Google

runs on WebDSL