Deciding Orthogonality in Construction-A Lattices

Karthekeyan Chandrasekaran, Venkata Gandikota, Elena Grigorescu. Deciding Orthogonality in Construction-A Lattices. In Prahladh Harsha, G. Ramalingam, editors, 35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, December 16-18, 2015, Bangalore, India. Volume 45 of LIPIcs, pages 151-162, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Authors

Karthekeyan Chandrasekaran

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

Venkata Gandikota

This author has not been identified. Look up 'Venkata Gandikota' in Google

Elena Grigorescu

This author has not been identified. Look up 'Elena Grigorescu' in Google