We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption. © Springer-Verlag Berlin Heidelberg 2010.
Almost all complex quantifiers are simple / Szymanik, J.. - 6149 LNAI:M4D(2010), pp. 272-280. ( 11th Biennial Conference on Mathematics of Language, MOL 11 Belefield 2009) [10.1007/978-3-642-14322-9_21].
Almost all complex quantifiers are simple
Szymanik, J.
2010-01-01
Abstract
We prove that PTIME generalized quantifiers are closed under Boolean operations, iteration, cumulation and resumption. © Springer-Verlag Berlin Heidelberg 2010.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione
