Two-Variable Logic over Countable Linear Orderings

Amaldev Manuel, A. V. Sreejith. Two-Variable Logic over Countable Linear Orderings. In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, editors, 41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, August 22-26, 2016 - Kraków, Poland. Volume 58 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Authors

Amaldev Manuel

This author has not been identified. Look up 'Amaldev Manuel' in Google

A. V. Sreejith

This author has not been identified. Look up 'A. V. Sreejith' in Google