Deriving Inverse Operators for Modal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michell Guzmán, Salim Perchy, Camilo Rueda, Frank D. Valencia. Deriving Inverse Operators for Modal Logic. In Augusto Sampaio, Farn Wang, editors, Theoretical Aspects of Computing - ICTAC 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings. Volume 9965 of Lecture Notes in Computer Science, pages 214-232, 2016. [doi]

This author has not been identified. Look up 'Michell Guzmán' in GoogleThis author has not been identified. Look up 'Salim Perchy' in GoogleThis author has not been identified. Look up 'Camilo Rueda' in GoogleThis author has not been identified. Look up 'Frank D. Valencia' in Google

runs on WebDSL