An Axiomatization of the d-logic of Planar Polygons

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia. An Axiomatization of the d-logic of Planar Polygons. In Alexandra Silva 0001, Sam Staton, Peter Sutton, Carla Umbach, editors, Language, Logic, and Computation - 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers. Volume 11456 of Lecture Notes in Computer Science, pages 147-165, Springer, 2017. [doi]

Authors

David Gabelaia

This author has not been identified. Look up 'David Gabelaia' in Google

Kristina Gogoladze

This author has not been identified. Look up 'Kristina Gogoladze' in Google

Mamuka Jibladze

This author has not been identified. Look up 'Mamuka Jibladze' in Google

Evgeny Kuznetsov

This author has not been identified. Look up 'Evgeny Kuznetsov' in Google

Levan Uridia

This author has not been identified. Look up 'Levan Uridia' in Google