@unibiblio

One quantifier alternation in first-order logic with modular predicates

, und . RAIRO theoretical informatics and applications 49 (1): 1-22 (2015)


Zitieren Sie diese Publikation