A Spatial Logic with Time and Quantifiers - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Laura Bussi, Vincenzo Ciancia, Fabio Gadducci. A Spatial Logic with Time and Quantifiers. In Nina Gierasimczuk, Fernando R. Velázquez-Quesada, editors, Dynamic Logic. New Trends and Applications - 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers. Volume 14401 of Lecture Notes in Computer Science, pages 1-19, Springer, 2023. [doi]

This author has not been identified. Look up 'Laura Bussi' in GoogleThis author has not been identified. Look up 'Vincenzo Ciancia' in GoogleThis author has not been identified. Look up 'Fabio Gadducci' in Google

runs on WebDSL