On a Generalization of Horn Constraint Systems

Piotr J. Wojciechowski, Ramaswamy Chandrasekaran, K. Subramani. On a Generalization of Horn Constraint Systems. In Pascal Weil, editor, Computer Science - Theory and Applications - 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings. Volume 10304 of Lecture Notes in Computer Science, pages 323-336, Springer, 2017. [doi]

Authors

Piotr J. Wojciechowski

This author has not been identified. Look up 'Piotr J. Wojciechowski' in Google

Ramaswamy Chandrasekaran

This author has not been identified. Look up 'Ramaswamy Chandrasekaran' in Google

K. Subramani

This author has not been identified. Look up 'K. Subramani' in Google