-
4
-
-
0000297004
-
Polynomial Size Proofs of the Propositional Pigeonhole Principle
-
Buss, S.: 1987, 'Polynomial Size Proofs of the Propositional Pigeonhole Principle', Journal of Symbolic Logic 52, 916-27.
-
(1987)
Journal of Symbolic Logic
, vol.52
, pp. 916-927
-
-
Buss, S.1
-
5
-
-
44949274401
-
The Undecidability of k-Provability
-
Buss, S.: 1991, 'The Undecidability of k-Provability', Annals of Pure and Applied Logic 53, 75-102.
-
(1991)
Annals of Pure and Applied Logic
, vol.53
, pp. 75-102
-
-
Buss, S.1
-
6
-
-
0031566906
-
Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus
-
Carbone, A.: 1997, 'Interpolants, Cut Elimination and Flow Graphs for the Propositional Calculus', Annals of Pure and Applied Logic 83, 249-99.
-
(1997)
Annals of Pure and Applied Logic
, vol.83
, pp. 249-299
-
-
Carbone, A.1
-
10
-
-
0040360930
-
Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination
-
Carbone, A. and S. Semmes: 1997, 'Making Proofs Without Modus Ponens: An Introduction to the Combinatorics and Complexity of Cut Elimination', Bulletin of the American Mathematical Society 34, 131-59.
-
(1997)
Bulletin of the American Mathematical Society
, vol.34
, pp. 131-159
-
-
Carbone, A.1
Semmes, S.2
-
11
-
-
0009312848
-
Prepositional Proofs via Combinatorial Geometry and the Search for Symmetry
-
Annals of the Kurt-Gödel-Society, Institute for Computer Science AS CR, Prague
-
Carbone, A. and S. Semmes: 1999, 'Prepositional Proofs via Combinatorial Geometry and the Search for Symmetry', in Collegium Logicum, Annals of the Kurt-Gödel-Society, Volume 3, pp. 85-98, Institute for Computer Science AS CR, Prague.
-
(1999)
Collegium Logicum
, vol.3
, pp. 85-98
-
-
Carbone, A.1
Semmes, S.2
-
12
-
-
0242607709
-
-
forthcoming, Oxford University Press, Oxford
-
Carbone, A. and S. Semmes: 2000, A Graphic Apology for Symmetry and Implicitness - Combinatorial Complexity of Proofs, Languages, and Geometric Constructions, forthcoming, Oxford University Press, Oxford.
-
(2000)
A Graphic Apology for Symmetry and Implicitness - Combinatorial Complexity of Proofs, Languages, and Geometric Constructions
-
-
Carbone, A.1
Semmes, S.2
-
16
-
-
0001601465
-
The Relative Efficiency of Propositional Proof Systems
-
Cook, S. and R. Reckhow: 1979, 'The Relative Efficiency of Propositional Proof Systems', Journal of Symbolic Logic 44, 36-50.
-
(1979)
Journal of Symbolic Logic
, vol.44
, pp. 36-50
-
-
Cook, S.1
Reckhow, R.2
-
17
-
-
0000978928
-
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
-
Craig, W.: 1957, 'Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory', Journal of Symbolic Logic 22, 269-85.
-
(1957)
Journal of Symbolic Logic
, vol.22
, pp. 269-285
-
-
Craig, W.1
-
18
-
-
0003848050
-
-
Jones and Bartlett, Boston
-
Epstein, D., J. Cannon, D. Holt, M. Paterson, and W. Thurston: 1992, Word Processing in Groups, Jones and Bartlett, Boston.
-
(1992)
Word Processing in Groups
-
-
Epstein, D.1
Cannon, J.2
Holt, D.3
Paterson, M.4
Thurston, W.5
-
20
-
-
27944496797
-
Untersuchungen über das Logische Schließen I-II'
-
Gentzen, G.: 1934, 'Untersuchungen über das Logische Schließen I-II', Mathematische Zeitschrift 39, 176-210, 405-31.
-
(1934)
Mathematische Zeitschrift
, vol.39
, pp. 176-210
-
-
Gentzen, G.1
-
24
-
-
0002434037
-
Towards a Geometry of Interaction
-
J. Gray and A. Scedrov (eds), American Mathematical Society, Providence
-
Girard, J.-Y.: 1989a, 'Towards a Geometry of Interaction', in J. Gray and A. Scedrov (eds), Categories in Computer Science and Logic, American Mathematical Society, Providence, pp. 69-108.
-
(1989)
Categories in Computer Science and Logic
, pp. 69-108
-
-
Girard, J.-Y.1
-
25
-
-
22244435096
-
Geometry of Interaction I: Interpretation of System F
-
R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo (eds), North Holland, Amsterdam
-
Girard, J.-Y.: 1989b, 'Geometry of Interaction I: Interpretation of System F', in R. Ferro, C. Bonotto, S. Valentini, and A. Zanardo (eds), Logic Colloquium '88, North Holland, Amsterdam, pp. 221-60.
-
(1989)
Logic Colloquium '88
, pp. 221-260
-
-
Girard, J.-Y.1
-
26
-
-
85031925268
-
Geometry of Interaction II: Deadlock-Free Algorithms
-
P. Martin-Löf and G. Mints (eds), Springer-Verlag, Berlin
-
Girard, J.-Y.: 1990, 'Geometry of Interaction II: Deadlock-Free Algorithms', in P. Martin-Löf and G. Mints (eds), COLOG-88, Springer-Verlag, Berlin, pp. 76-93.
-
(1990)
COLOG-88
, pp. 76-93
-
-
Girard, J.-Y.1
-
27
-
-
0043210213
-
Geometry of Interaction III: Accommodating the Additives
-
J.-Y. Girard, Y. Lafont, and L. Regnier (eds), Cambridge University Press, Cambridge
-
Girard, J.-Y: 1995, 'Geometry of Interaction III: Accommodating the Additives', in J.-Y. Girard, Y. Lafont, and L. Regnier (eds), Advances in Linear Logic, Cambridge University Press, Cambridge, pp. 329-89.
-
(1995)
Advances in Linear Logic
, pp. 329-389
-
-
Girard, J.-Y.1
-
28
-
-
0002874575
-
Asymptotic Invariants of Infinite Groups
-
G. Niblo and M. Roller (eds), Cambridge University Press, Cambridge
-
Gromov, M.: 1993, 'Asymptotic Invariants of Infinite Groups', in G. Niblo and M. Roller (eds), Geometric Group Theory, Volume 2, Cambridge University Press, Cambridge, pp. 1-295.
-
(1993)
Geometric Group Theory
, vol.2
, pp. 1-295
-
-
Gromov, M.1
-
29
-
-
0000076101
-
The Intractability of Resolution
-
Haken, A.: 1985, 'The Intractability of Resolution', Theoretical Computer Science 39, 297-308.
-
(1985)
Theoretical Computer Science
, vol.39
, pp. 297-308
-
-
Haken, A.1
-
31
-
-
0001951331
-
A Catalog of Complexity Classes
-
J. van Leeuwen (ed.), Elsevier and MIT Press, Amsterdam and Cambridge, MA
-
Johnson, D.: 1990, 'A Catalog of Complexity Classes', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier and MIT Press, Amsterdam and Cambridge, MA, pp. 67-161.
-
(1990)
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
, pp. 67-161
-
-
Johnson, D.1
-
32
-
-
0003496018
-
-
Cambridge University Press, Cambridge
-
Kirwan, F.: 1992, Complex Algebraic Curves, Cambridge University Press, Cambridge.
-
(1992)
Complex Algebraic Curves
-
-
Kirwan, F.1
-
33
-
-
84937652953
-
Logical Basis for Information Theory and Probability Theory
-
Kolmogorov, A.: 1968, 'Logical Basis for Information Theory and Probability Theory', IEEE Transactions on Information Theory 14(5), 662-64.
-
(1968)
IEEE Transactions on Information Theory
, vol.14
, Issue.5
, pp. 662-664
-
-
Kolmogorov, A.1
-
35
-
-
0003341174
-
Kolmogorov Complexity and its Applications
-
J. van Leeuwen (ed.), Elsevier and MIT Press, Amsterdam and Cambridge, MA
-
Li, M. and P. Vitányi: 1990, 'Kolmogorov Complexity and its Applications', in J. van Leeuwen (ed.), Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity, Elsevier and MIT Press, Amsterdam and Cambridge, MA, pp. 187-254.
-
(1990)
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
, pp. 187-254
-
-
Li, M.1
Vitányi, P.2
-
37
-
-
0000946012
-
Lower Bounds for Increasing Complexity of Derivations after Cut Elimination
-
Orevkov, V: 1982, 'Lower Bounds for Increasing Complexity of Derivations after Cut Elimination', Journal of Soviet Mathematics 20, 2337-350.
-
(1982)
Journal of Soviet Mathematics
, vol.20
, pp. 2337-2350
-
-
Orevkov, V.1
-
38
-
-
0009165507
-
-
A. Bochman (trans.), D. Louvish (ed.), American Mathematical Society, Providence
-
Orevkov, V.: 1993, in A. Bochman (trans.), D. Louvish (ed.), Complexity of Proofs and Their Transformations in Axiomatic Theories, American Mathematical Society, Providence.
-
(1993)
Complexity of Proofs and Their Transformations in Axiomatic Theories
-
-
Orevkov, V.1
-
39
-
-
0001695955
-
Existence and Feasibility in Arithmetic
-
Parikh, R.: 1971, 'Existence and Feasibility in Arithmetic', Journal of Symbolic Logic 36, 494-508.
-
(1971)
Journal of Symbolic Logic
, vol.36
, pp. 494-508
-
-
Parikh, R.1
-
40
-
-
0003164887
-
Definability and Decision Problems in Arithmetic
-
Robinson, J.: 1949, 'Definability and Decision Problems in Arithmetic', Journal of Symbolic Logic 14, 98-114.
-
(1949)
Journal of Symbolic Logic
, vol.14
, pp. 98-114
-
-
Robinson, J.1
-
42
-
-
0000851847
-
Homologie Singulière des Espaces Fibrés
-
Serre, J.-P.: 1951, 'Homologie Singulière des Espaces Fibrés', Annals of Mathematics 54, 425-505.
-
(1951)
Annals of Mathematics
, vol.54
, pp. 425-505
-
-
Serre, J.-P.1
-
45
-
-
0001512940
-
Bounds for Proof-Search and Speed-Up in the Predicate Calculus
-
Statman, R.: 1978, 'Bounds for Proof-Search and Speed-Up in the Predicate Calculus', Annals of Mathematical Logic 15, 225-87.
-
(1978)
Annals of Mathematical Logic
, vol.15
, pp. 225-287
-
-
Statman, R.1
-
48
-
-
0003826898
-
-
North-Holland, Amsterdam
-
Takeuti, G.: 1975, Proof Theory, North-Holland, Amsterdam.
-
(1975)
Proof Theory
-
-
Takeuti, G.1
-
51
-
-
0003947113
-
-
van Leeuwen, J. (ed.): Elsevier and MIT Press, Amsterdam and Cambridge, MA
-
van Leeuwen, J. (ed.): 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics, Elsevier and MIT Press, Amsterdam and Cambridge, MA.
-
(1990)
Handbook of Theoretical Computer Science, Volume B: Formal Models and Semantics
-
-
|