No. Title Author Year
1 Front Matter, Table of Contents, Preface, Conference Organization Lutz, Carsten et al. 2020
2 LIPIcs, Vol. 155, ICDT 2020, Complete Volume Lutz, Carsten et al. 2020
3 Querying the Unary Negation Fragment with Regular Path Expressions Jung, Jean Christoph et al. 2018
4 Conservative Extensions in Guarded and Two-Variable Fragments Jung, Jean Christoph et al. 2017
5 SWORD -- Module-based SAT Solving Wille, Robert et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI