Submodel Enumeration of Kripke Structures in Modal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicolas Fröhlich, Arne Meier. Submodel Enumeration of Kripke Structures in Modal Logic. In David Fernández Duque, Alessandra Palmigiano, Sophie Pinchinat, editors, Advances in Modal Logic, AiML 2022, Rennes, France, August 22-25, 2022. pages 391-406, College Publications, 2022.

This author has not been identified. Look up 'Nicolas Fröhlich' in GoogleThis author has not been identified. Look up 'Arne Meier' in Google

runs on WebDSL