IRIS

A characterization of definability of second-order generalized quantifiers with applications to non-definability / Kontinen, Juha; Szymanik, Jakub. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 80:6(2014), pp. 1152-1162. [10.1016/j.jcss.2014.04.007]

A characterization of definability of second-order generalized quantifiers with applications to non-definability

Szymanik, Jakub
2014-01-01
2014
JOURNAL OF COMPUTER AND SYSTEM SCIENCES
6
2-s2.0-84901188614
WOS:000336561300009
Kontinen, Juha; Szymanik, Jakub
A characterization of definability of second-order generalized quantifiers with applications to non-definability / Kontinen, Juha; Szymanik, Jakub. - In: JOURNAL OF COMPUTER AND SYSTEM SCIENCES. - ISSN 0022-0000. - 80:6(2014), pp. 1152-1162. [10.1016/j.jcss.2014.04.007]
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/364287
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact