Characterizing definability of second-order generalized quantifiers / Kontinen, Juha; Szymanik, Jakub. - 6642 LNAI:(2011), pp. 187-200. (Intervento presentato al convegno WoLLIC tenutosi a Philadelphia nel 2011) [10.1007/978-3-642-20920-8_20].
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