Please help support CiteULike by taking part in our survey.

msakai's complexity [7 articles] Export

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

	An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-orfer function algebras [My Copy] by Martin Hofmann posted to complexity by msakai on 2008-12-25 06:53:32 as along with 1 person yoriyuki
	Lightweight semiformal time complexity analysis for purely functional data structures [My Copy] SIGPLAN Not., Vol. 43, No. 1. (2008), pp. 133-144. by Nils A. Danielsson posted to complexity by msakai on 2008-12-01 23:00:40 as
	Applicative control and computational complexity [My Copy] by Daniel Leivant posted to complexity by msakai on 2008-05-26 09:53:51 as along with 1 person yoriyuki
	PRIMES is in P [My Copy] (6 August 2002), pp. 1-9. by Manindra Agrawal, Neeraj Kayal, Nitin Saxena posted to complexity number-theory by msakai on 2008-05-25 12:25:30 as along with 1 person and 1 group sajan ahat
	Fast context-free grammar parsing requires fast boolean matrix multiplication [My Copy] J. ACM, Vol. 49, No. 1. (January 2002), pp. 1-15. by Lillian Lee posted to complexity linguistics parser by msakai on 2008-03-30 17:55:26 as along with 1 person yoriyuki
	A new recursion-theoretic characterization of the polytime functions (extended abstract) [My Copy] In STOC '92: Proceedings of the twenty-fourth annual ACM symposium on Theory of computing (1992), pp. 283-293. by Stephen Bellantoni, Stephen Cook posted to complexity by msakai on 2008-02-22 07:40:05 as along with 1 person yoriyuki
	A Type System for Bounded Space and Functional In-Place Update--Extended Abstract [My Copy] Lecture Notes in Computer Science, Vol. 1782 (2000), pp. 165-??. by Martin Hofmann posted to complexity type-theory by msakai on 2008-01-24 10:01:01 as

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

msakai's tags

All tags in msakai's library

Filter:

Privacy Statement | Terms & Conditions

category-theory	81
type-theory	80
haskell	59
domain-theory	35
functional	34
model-checking	33
logic	28
ppl2008	26
ppl2009	26
coalgebra	22
continuation	22
theorem-proving	18
program-transformation	17
polymorphism	16
linear-logic	14
linguistics	14
quantum	14
concurrency	12
modal-logic	12
lambda-calculus	11
institution	10
regular-expression	8
algebraic-specification	7
complexity	7
garbage-collection	7
virtual-machine	7
functional-programming	6
logic-programming	6
parametricity	6
aop	5
coq	5
program-analysis	5
rewriting	5
security	5
set-theory	5
agda	4
alloy	4
dependent-types	4
inductive-logic-programming	4
parser	4
reactive	4
ruby	4
specification	4
topology	4
types	4
algebra	3
c	3
compiler	3
game	3
intuitionistic	3
logical-relation	3
machine-learning	3
process-algebra	3
semantics	3
type-classes	3
type-inference	3
unix	3
verification	3
abductive-logic-programming	2
channel-theory	2
chr	2
classical-logic	2
copyright	2
debug	2
denotational-semantics	2
economics	2
encryption	2
filesystem	2
game-semantics	2
kleene-algebra	2
lcm	2
model-finding	2
monad	2
observational-equivalence	2
ontology	2
operational-semantics	2
optimization	2
parallel-programming	2
philosophy	2
planning	2
provability	2
slacs2007	2
specialization	2
thermodynamics	2
vaguness	2
algebraic-geometry	1
algorithm	1
answer-set-programming	1
arithmetic	1
arrow	1
baysian-network	1
bdd	1
bignum	1
bug	1
category-thoery	1
chu-space	1
cloud	1
compression	1
constructivity	1
context-free-grammer	1
database	1
deep-inference	1
design-by-contract	1
determinacy	1
dialgebra	1
diff	1
e-mail	1
expression-problem	1
fft	1
finance	1
fix-point	1
functional-logic-programming	1
graph-rewriting	1
gui	1
higher-order-logic	1
history	1
information-theory	1
linear-programming	1
machine-code	1
maude	1
module-system	1
network	1
nuclear-deterrence	1
number-theory	1
ocaml	1
pretty-printing	1
prolog	1
quickcheck	1
refactoring	1
region	1
scala	1
self-reference	1
semantic-web	1
shell-programming	1
smt	1
soft-typing	1
software-engineering	1
stage-calculus	1
static-checking	1
stg	1
strictness-analysis	1
temporal-logic	1
termination	1
testing	1
tex	1
web	1
www2005	1