Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Tue Jan 2 08:16:32 2024 GMT.