No. Title Author Year
1 On the First-Order Complexity of Induced Subgraph Isomorphism Verbitsky, Oleg et al. 2017
2 Bounds for the quantifier depth in finite-variable logics: Alternation hierarchy Berkholz, Christoph et al. 2013
3 Solving the Canonical Representation and Star System Problems for Proper Circular-Arc Graphs in Logspace Köbler, Johannes et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 3


DROPS-Home | Fulltext Search | Imprint Published by LZI