No. Title Author Year
1 On the locality of arb-invariant first-order logic with modulo counting quantifiers Harwath, Frederik et al. 2013
2 Regular tree languages, cardinality predicates, and addition-invariant FO Harwath, Frederik et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 2

DROPS-Home | Fulltext Search | Imprint Published by LZI