Up a level |
Number of items: 1.
Jung, Jean Christoph, Lutz, Carsten, Martel, Mauricio, Schneider, Thomas and Wolter, Frank
(2017)
Conservative Extensions in Guarded and Two-Variable Fragments.
Leibniz International Proceedings in Informatics, LIPIcs, 80.