JakubSzymanik's theory [16 articles] Export

Recent papers added to JakubSzymanik's library classified by the tag theory. You can also see everyone's theory.

	Game Theory and Pragmatics [My Copy] (01 November 2005) edited by Anton Benz, Gerhard Jager, Robert van Rooij posted to evolutionary game pragmatics theory by JakubSzymanik on 2008-09-24 16:50:39 as
	The Tractable Cognition Thesis [My Copy] Cognitive Science: A Multidisciplinary Journal, Vol. 32, No. 6. (2008), pp. 939-984. by Iris van Rooij posted to cognitive complexity in parametrized science theory by JakubSzymanik on 2008-09-22 14:52:10 as
	Empirical Evidence for Automata-Theoretic Model of Simple Quantifiers Comprehension [My Copy] (2008) by J. Szymanik, M. Zajenkowski posted to automata cognitive complexity computational generalized psychology quantifiers science theory by JakubSzymanik on 2008-09-08 11:31:59 as
	Theory of Computation: Classical and Contemporary Approaches [My Copy] (24 March 2006) by Dexter C. Kozen posted to complexity computational theory by JakubSzymanik on 2008-08-18 15:55:45 as along with 2 people BarrosH spinaltap526
	Language Identification in the Limit [My Copy] Information and Control, Vol. 10 (1967), pp. 447-474. by E. M. Gold posted to acquisition formal language learning theory by JakubSzymanik on 2008-08-18 14:57:45 as along with 1 person NinaG
	Metafinite Model Theory, [My Copy] Information and Computation, Vol. 140, No. 1. (10 January 1998), pp. 26-81. by Erich Grädel, Yuri Gurevich posted to metafinite model theory by JakubSzymanik on 2008-07-21 17:06:01 as
	Parameterized Complexity Theory [My Copy] (16 March 2006) by J. Flum, M. Grohe posted to complexity parametrized theory by JakubSzymanik on 2008-06-23 13:24:18 as
	Almost everywhere equivalence of logics in finite model theory [My Copy] Bulletin of Symbolic Logic, Vol. 2, No. 4. (1996), pp. 422-443. by L. Hella, Ph, K. Luosto posted to complexity descriptive finite generalized model quantifiers theory by JakubSzymanik on 2008-04-27 13:41:42 as
	Finite Model Theory and Its Applications [My Copy] (11 June 2007) by Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, et al.Maarten Marx, Joel Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein posted to complexity computational descriptive finite model theory by JakubSzymanik on 2008-04-27 12:36:02 as along with 3 people leonardo AbnerCYH masteraka
	Elements of Finite Model Theory [My Copy] (17 August 2004) by Leonid Libkin posted to finite model theory by JakubSzymanik on 2008-04-27 12:33:42 as along with 2 people leonardo masteraka
	Finite Model Theory [My Copy] (14 November 2005) by Heinz-Dieter Ebbinghaus, Jörg Flum posted to complexity computational descriptive finite model theory by JakubSzymanik on 2008-04-27 12:33:00 as
	Computational Complexity [My Copy] (30 November 1993) by Christos H. Papadimitriou posted to complexity computational theory by JakubSzymanik on 2008-04-25 12:16:50 as along with 7 people JoeCamel gkatsi pwais BarrosH gagliol eporreca masteraka
	Computability Theory [My Copy] (17 November 2003) by Barry S. Cooper posted to algorithms computability recursion theory by JakubSzymanik on 2008-04-25 12:13:35 as along with 1 person jimburton
	Bounded Variable Logics and Counting. A study in Finite Models. [My Copy] Vol. 9 (1997) by Martin Otto posted to counting finite model quantifiers theory by JakubSzymanik on 2008-03-03 15:02:09 as along with 1 group GQT
	Semantyka obliczeniowa dla kwantyfikatorów monadycznych w języku naturalnym [My Copy] Studia Semiotyczne, Vol. 26 (2007), pp. 219-244. by Jakub Szymanik posted to algorithms automata generalized meaning quantifiers semantics theory by JakubSzymanik on 2007-11-01 12:01:51 as along with 1 person NinaG
	Computational complexity of some Ramsey quantifiers in finite models [My Copy] The Bulletin of Symbolic Logic, Vol. 13 (2007), pp. 281-282. by M. Mostowski, J. Szymanik posted to complexity computational generalized quantifiers ramsey theory by JakubSzymanik on 2007-10-16 12:22:18 as along with 1 person NinaG

Note: You may cite this page as: http://www.citeulike.org/user/JakubSzymanik/tag/theory

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.

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

JakubSzymanik's theory [16 articles] Export

JakubSzymanik's tags