CiteULike: JakubSzymanik's Kontinen:J [5 articles]

Search all the public and authenticated articles in CiteULike.
Enter a search phrase. You can also specify

a CiteULike article id (123456),

a DOI (doi:10.1234/12345678)

or a PubMed Id (pmid:12345678).

Click Help for advanced usage.

JakubSzymanik's tags

All tags in JakubSzymanik's library

Filter:

CiteULike organises scholarly (or academic) papers or literature and provides bibliographic (which means it makes bibliographies) for universities and higher education establishments. It helps undergraduates and postgraduates. People studying for PhDs or in postdoctoral (postdoc) positions. The service is similar in scope to EndNote or RefWorks or any other reference manager like BibTeX, but it is a social bookmarking service for scientists and humanities researchers.

	A Remark on Collective Quantification [My Copy] Journal of Logic, Language and Information, Vol. 17, No. 2. (April 2008), pp. 131-140. by Juha Kontinen, Jakub Szymanik posted to collective complexity computational definability generalized quantification quantifier second-order by JakubSzymanik on 2008-02-10 21:24:36 as along with 1 person and 1 group djsaab GQT
	Logical characterization of the counting hierarchy [My Copy] No. 435. (2006) by J. Kontinen posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:44 as
	Second-order Generalized Quantifiers and Natural Language [My Copy] In Proceedings of the Seventh ESSLLI Student Session (2002), pp. 107-118. by Juha Kontinen edited by Malvina Nissim posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:43 as
	Extensions of MSO and the monadic counting hierarchy [My Copy] (2006) by Juha Kontinen, Hannu Niemistö posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:43 as
	Definability of second order generalized quantifiers [My Copy] (2004) by Juha Kontinen posted to bibtex-import by JakubSzymanik on 2007-10-16 12:10:43 as

bibtex-import	85
quantifiers	37
complexity	28
computational	27
generalized	17
theory	16
algorithms	15
language	14
natural	12
descriptive	9
meaning	8
branching	7
logic	7
semantics	7
of	6
finite	6
model	6
and	6
cognitive	5
scope	5
games	4
automata	4
game	4
in	4
definability	4
dynamic	3
monotonicity	3
psychology	3
science	3
context-freeness	3
truth	3
parametrized	3
logical	2
thesis	2
data	2
learning	2
combined	2
form	2
average-case	2
quantifier	2
comprehension	2
expression	2
turing	2
vision	2
computability	2
ramsey	2
collective	2
reasoning	2
working	2
memory	2
mind	2
grammars	2
machines	2
definitions	1
alternating	1
principles	1
deterministic	1
sape	1
non	1
formal	1
church-turing	1
metafinite	1
inductive	1
lambek	1
independence	1
type-shifting	1
bramching	1
hypercomputations	1
linguistic	1
for	1
modeling	1
quantification	1
everyday	1
recursion	1
file-import-09-01-10	1
generalised	1
numbers	1
reciprocal	1
neuropsychology	1
mathematical	1
second-order	1
other	1
information	1
models	1
evolutionary	1
non-fregean	1
computations	1
calculus	1
polyadic	1
each	1
intension	1
history	1
neuroscience	1
hintikkas	1
cognition	1
reductions	1
learnability	1
file-import-08-10-22	1
bisimulation	1
wide	1
independencies	1
competence	1
extensive	1
context-free	1
concurrent	1
acquisition	1
strong	1
anaphora	1
expressions	1
syllogistic	1
hypothesis	1
disambiguation	1
combinations	1
modelling	1
potential	1
complete	1
problems	1
infinity	1
file-import-08-06-25	1
reasonings	1
pragmatics	1
counting	1

JakubSzymanik's Kontinen:J [5 articles] Export

JakubSzymanik's tags