yoriyuki's bounded-arithmetic [15 articles] Export

Recent papers added to yoriyuki's library classified by the tag bounded-arithmetic. You can also see everyone's bounded-arithmetic.

Hide details

	The Arithmetic Hierarchy, Parikh's Theorem and Related Matters [My Copy] by Juliette Kennedy posted to bounded-arithmetic truth-theory by yoriyuki on 2009-01-22 15:09:04 as
	An Application of Category-Theoretic Semantics to the Characterisation of Complexity Classes Using Higher-orfer function algebras [My Copy] by Martin Hofmann posted to bounded-arithmetic implicit-complexity by yoriyuki on 2008-12-24 11:48:10 as along with 1 person msakai
	Bounded Arithmetic, Proof Complexity and TwoPapers of Parikh [My Copy] by Samuel R. Buss posted to bounded-arithmetic copy print by yoriyuki on 2008-10-01 07:25:27 as
	A Model-Theoretic Property of Sharply Bounded Formulae, with some Applications [My Copy] Mathematical Logic Quarterly, Vol. 44, No. 2. (1998), pp. 205-215. by Jan Johannsen posted to bounded-arithmetic by yoriyuki on 2008-10-01 07:24:08 as
	Independence results for weak systems of intuitionistic arithmetic [My Copy] MLQ, Vol. 49, No. 3. (2003), pp. 250-254. by Morteza Moniri posted to bounded-arithmetic constructive-mathematics kripke-model by yoriyuki on 2008-09-30 15:51:17 as
	Logical Foundations of Proof Complexity [My Copy] by Stephen Cook, Phuong Nguyen posted to bounded-arithmetic complexity copy implicit-complexity print by yoriyuki on 2008-09-14 14:16:06 as
	A note on bounded arithmetic [My Copy] Fundamenta Mathematicae, Vol. 136 by P. Pudlak posted to copy bounded-arithmetic by yoriyuki on 2008-04-17 03:00:32 as
	On the scheme of induction for bounded arithmetic formulas [My Copy] Annals of Pure and Applied Logic, Vol. 35 (1987), pp. 261-302. by A. Wilkie, J. Paris posted to bounded-arithmetic by yoriyuki on 2008-04-17 02:58:39 as along with 1 person and 1 group rzach LogicPhilMath
	Unprovability of consistency statements in fragments of bounded arithmetic [My Copy] Annals of Pure and Applied Logic, Vol. 74, No. 3. by Samuel R. Buss, Aleksandar Ignjatovic posted to bounded-arithmetic by yoriyuki on 2008-04-14 03:51:03 as along with 1 person msakai
	A New Proof of the Weak Pigeonhole Principle [My Copy] Journal of Computer and System Sciences, Vol. 64, No. 4. (June 2002), pp. 843-872. by Alexis Maciel, Toniann Pitassi, Alan R. Woods posted to bounded-arithmetic by yoriyuki on 2008-01-24 08:51:03 as
	Forcing on Bounded Arithmetic II [My Copy] The Journal of Symbolic Logic, Vol. 63, No. 3. (1998), pp. 860-868. by Gaisi Takeuti, Masahiro Yasumoto posted to print bounded-arithmetic by yoriyuki on 2007-12-26 10:33:57 as
	The complexity of the Pigeonhole Principle [My Copy] Combinatorica, Vol. 14, No. 4. (1 December 1994), pp. 417-433. by M. Ajtai posted to bounded-arithmetic by yoriyuki on 2007-12-26 10:17:18 as along with 2 people hubris msakai
	Counting problems in bounded arithmetic [My Copy] Methods in Mathematical Logic (1985), pp. 317-340. by J. Paris, A. Wilkie posted to bounded-arithmetic by yoriyuki on 2007-12-26 10:14:24 as
	Forcing on bounded arithmetic [My Copy] posted to print bounded-arithmetic by yoriyuki on 2007-12-26 10:02:58 as
	Goedel incompleteness theorem and forcing [My Copy] posted to print bounded-arithmetic by yoriyuki on 2007-12-26 09:58:55 as

Note: You may cite this page as: http://www.citeulike.org/user/yoriyuki/tag/bounded-arithmetic

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.

copy	52
model-checking	27
print	16
bounded-arithmetic	15
security	15
agdaspin	13
lambda-calculus	10
network	10
complexity	9
set-theory	9
theorem-proving	9
type-theory	9
formal-method	8
java	7
assume-gurantee-reasoning	6
control-operator	6
implicit-complexity	6
classical-logic	5
constructive-mathematics	5
library	5
model-checkingspin	5
pki	5
presburger-arithmetic	5
spin	5
ssl	5
agda	4
automata	4
functional-programming	4
game-semantics	4
mypaper	4
proof-theoretical-semantics	4
quantum-computing	4
design-pattern	3
philosophy	3
truth-theory	3
category	2
cps	2
cryptography	2
cs	2
dynamics	2
economics	2
ethic	2
forcing	2
formal-semantics	2
free-logic	2
kripke-model	2
lambda-mu	2
learning-theory	2
linear-logic	2
modal-mu	2
nlp	2
nonstandard-analysis	2
ordinal-analysis	2
physics	2
pi-calculus	2
political-science	2
predicative-arithmetic	2
protocol	2
reverse-mathematics	2
tree-automata	2
vaguness	2
vpn	2
ai	1
algorithm	1
combinatorics	1
comprehension	1
concurrency	1
continuation	1
cut-elimination	1
dependent-type	1
dialgebra	1
exact-real-arithmetic	1
fdr	1
haskell	1
history-of-logic	1
hoare-logic	1
incompletenss-theorem	1
information-theory	1
introduction-to-logic	1
intuitionism	1
lcm	1
message-passing	1
ml	1
mpi	1
muchnik-degree	1
natural-language	1
normalization	1
observational-equivalence	1
ontology	1
oop	1
optimization	1
overloading	1
parsing	1
philosophy-of-mathematics	1
philosophy-of-mind	1
poincare-conjecture	1
polymorphism	1
power-law	1
program-analysis	1
programming-language	1
program-semantics	1
proof-theory	1
quantum-mechanics	1
randomness	1
recommendation	1
reversible-computing	1
ruby	1
semantics	1
situation-theory	1
software-engineering	1
term-rewriting	1
theorem-for-free	1
thermodynamics-of-computation	1
timed-automata	1
type-inference	1
weak	1
x509	1

yoriyuki's bounded-arithmetic [15 articles] Export

yoriyuki's tags