Lower Bound Founded Logic of Here-and-There - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn. Lower Bound Founded Logic of Here-and-There. In Francesco Calimeri, Nicola Leone, Marco Manna, editors, Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings. Volume 11468 of Lecture Notes in Computer Science, pages 509-525, Springer, 2019. [doi]

This author has not been identified. Look up 'Pedro Cabalar' in GoogleThis author has not been identified. Look up 'Jorge Fandinno' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in GoogleThis author has not been identified. Look up 'Sebastian Schellhorn' in Google

runs on WebDSL