The results list cannot be displayed in full to guest users. Please log in for full access:
Login
Showing 1 - 20
of 109
Not found what you were looking for? Search in the retro catalog, try interlibrary loan or place an acquisition request.
Refine Results
Limit Results
Expand Results
Resource Type
Subject
propositional proof complexity
69
resolution
42
lower bounds
28
01 natural sciences
20
0102 computer and information sciences
20
0101 mathematics
16
more ...
pigeonhole principle
11
complexity
10
computational complexity
9
complexity of proofs
8
computer science
7
exact sciences and technology
7
informatique
7
sciences exactes et technologie
7
theory
7
weak pigeonhole principle
7
applied sciences
6
computer science; control theory; systems
6
informatique theorique
6
informatique; automatique theorique; systemes
6
optimal algorithm
6
proofs
6
sciences appliquees
6
theoretical computing
6
borne inferieure
5
cota inferior
5
lower bound
5
mathematics
5
mathematiques
5
mechanization of proofs and logical operations
5
less ...
Published in
annals of pure and applied logic
13
theoretical computer science
11
computational complexity
10
acm transactions on computational logic
8
siam journal on computing
8
siam journal on computing (print)
4
more ...
information and computation
3
information processing letters
3
mathematical logic quarterly
3
brics report series
2
logical methods in computer science
2
the 43rd annual ieee symposium on foundations of computer science, 2002. proceedings.
2
theory of computing systems
2
27th international symposium on theoretical aspects of computer science - stacs 2010
1
combinatorica
1
proceedings 41st annual symposium on foundations of computer science
1
less ...
Publisher
elsevier b.v.
9
elsevier science bv
9
elsevier bv
6
siam publications
6
assoc computing machinery
5
birkhauser verlag ag
4
more ...
escholarship, university of california
4
society for industrial and applied mathematics
4
elsevier
3
ieee comput. soc
3
sp birkhauser verlag basel
3
springer berlin heidelberg
3
association for computing machinery (acm)
2
det kgl. bibliotek/royal danish library
2
hal ccsd
2
schloss dagstuhl - leibniz-zentrum fur informatik
2
wiley-v c h verlag gmbh
2
academic press inc elsevier science
1
arxiv
1
birkhauser verlag
1
birkhauser-verlag
1
elsevier inc.
1
elsevier science
1
european mathematical society - ems - publishing house gmbh
1
lipics - leibniz international proceedings in informatics. 27th international symposium on theoretical aspects of computer science
1
logical methods computer science e v
1
siam
1
society for industrial & applied mathematics (siam)
1
springer
1
springer basel ag
1
less ...
Language
Geography
Content Provider
Year of Publication
Filter