# zbMATH — the first resource for mathematics

## Statman, Richard

Compute Distance To:
 Author ID: statman.richard Published as: Statman, R.; Statman, Richard External Links: MGP · dblp
 Documents Indexed: 35 Publications since 1977, including 2 Books
all top 5

#### Co-Authors

 6 single-authored 7 Intrigila, Benedetto 3 Barendregt, Hendrik Pieter 1 Beeri, Catriel 1 Benzmüller, Christoph Ewald 1 Brown, Chad Edward 1 Dekkers, Wil J. M. 1 Dowd, Martin 1 Fagin, Ronald 1 Furst, Merrick L. 1 Gourlay, John S. 1 Gross, Jonathan L. 1 Gunther, William 1 Lewis, Harry R. 1 Narendran, Paliath 1 Pfenning, Frank 1 Siekmann, Jörg H.
all top 5

#### Serials

 2 Notre Dame Journal of Formal Logic 2 Logical Methods in Computer Science 1 Information Processing Letters 1 Annals of Mathematical Logic 1 Journal of the Association for Computing Machinery 1 Journal of Combinatorial Theory. Series B 1 Journal of Graph Theory 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Annals of Pure and Applied Logic 1 MSCS. Mathematical Structures in Computer Science 1 Indagationes Mathematicae. New Series 1 Journal of Functional Programming 1 Fundamenta Informaticae 1 Studies in Logic (London) 1 Perspectives in Logic
all top 5

#### Fields

 17 Mathematical logic and foundations (03-XX) 9 Computer science (68-XX) 2 Combinatorics (05-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Category theory; homological algebra (18-XX)

#### Citations contained in zbMATH Open

25 Publications have been cited 359 times in 326 Documents Cited by Year
Intuitionistic propositional logic is polynomial-space complete. Zbl 0411.03049
Statman, Richard
1979
Genus distributions for two classes of graphs. Zbl 0669.05028
Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard
1989
The typed lambda-calculus is not elementary recursive. Zbl 0411.03050
Statman, R.
1979
On the structure of Armstrong relations for functional dependencies. Zbl 0629.68096
Beeri, Catriel; Dowd, Martin; Fagin, Ronald; Statman, Richard
1984
Logical relations and the typed $$\lambda$$-calculus. Zbl 0594.03006
Statman, R.
1985
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Completeness, invariance and lambda-definability. Zbl 0487.03006
Statman, R.
1982
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
2013
Lower bounds on Herbrand’s theorem. Zbl 0411.03048
Statman, R.
1979
$$\lambda$$-definable functionals and $$\beta\eta$$ conversion. Zbl 0537.03009
Statman, R.
1983
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
1997
On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems. Zbl 0486.03011
Statman, R.
1981
The omega rule is $$\Pi_1^1$$-complete in the $$\lambda \beta$$-calculus. Zbl 1173.03010
Intrigila, Benedetto; Statman, Richard
2009
Solving functional equations at higher types; some examples and some theorems. Zbl 0623.03018
Statman, Richard
1986
The omega rule is $$\boldsymbol\Pi_{1}^{1}$$-complete in the $$\lambda \beta$$-calculus. Zbl 1215.03024
Intrigila, Benedetto; Statman, Richard
2007
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2005
Some results on extensionality in lambda calculus. Zbl 1065.03014
Intrigila, Benedetto; Statman, Richard
2005
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
1999
The graph isomorphism problem is polynomially equivalent to the legitimate deck problem for regular graphs. Zbl 0531.05048
Harary, Frank; Plantholt, M.; Statman, R.
1982
Speed-up by theories with infinite models. Zbl 0469.03040
Statman, R.
1981
On properties preserved by contractions of concurrent systems. Zbl 0402.68022
Gourlay, John S.; Statman, Richard
1979
Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems. Zbl 0441.03021
Statman, R.
1977
A note on the complexity of synthesizing finite machines. Zbl 0651.03029
Statman, Richard
1987
Unifiability is complete for co-N Log Space. Zbl 0503.68031
Lewis, Harry R.; Statman, Richard
1982
Worst case exponential lower bounds for input resolution with paramodulation. Zbl 0484.68071
Statman, R.
1980
Lambda calculus with types. With contributions from Fabio Alessi, Henk Barendregt, Marc Bezem, Felice Cardone, Mario Coppo, Wil Dekkers, Mariangiola Dezani-Ciancaglini, Gilles Dowek, Silvia Ghilezan, Furio Honsell, Michael Moortgat, Paula Severi, Richard Statman, Paweł Urzyczyn. Zbl 1347.03001
Barendregt, Henk; Dekkers, Wil; Statman, Richard
2013
The omega rule is $$\Pi_1^1$$-complete in the $$\lambda \beta$$-calculus. Zbl 1173.03010
Intrigila, Benedetto; Statman, Richard
2009
The omega rule is $$\boldsymbol\Pi_{1}^{1}$$-complete in the $$\lambda \beta$$-calculus. Zbl 1215.03024
Intrigila, Benedetto; Statman, Richard
2007
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2005
Some results on extensionality in lambda calculus. Zbl 1065.03014
Intrigila, Benedetto; Statman, Richard
2005
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
1999
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
1997
Genus distributions for two classes of graphs. Zbl 0669.05028
Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard
1989
A note on the complexity of synthesizing finite machines. Zbl 0651.03029
Statman, Richard
1987
Solving functional equations at higher types; some examples and some theorems. Zbl 0623.03018
Statman, Richard
1986
Logical relations and the typed $$\lambda$$-calculus. Zbl 0594.03006
Statman, R.
1985
On the structure of Armstrong relations for functional dependencies. Zbl 0629.68096
Beeri, Catriel; Dowd, Martin; Fagin, Ronald; Statman, Richard
1984
$$\lambda$$-definable functionals and $$\beta\eta$$ conversion. Zbl 0537.03009
Statman, R.
1983
Completeness, invariance and lambda-definability. Zbl 0487.03006
Statman, R.
1982
The graph isomorphism problem is polynomially equivalent to the legitimate deck problem for regular graphs. Zbl 0531.05048
Harary, Frank; Plantholt, M.; Statman, R.
1982
Unifiability is complete for co-N Log Space. Zbl 0503.68031
Lewis, Harry R.; Statman, Richard
1982
On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems. Zbl 0486.03011
Statman, R.
1981
Speed-up by theories with infinite models. Zbl 0469.03040
Statman, R.
1981
Worst case exponential lower bounds for input resolution with paramodulation. Zbl 0484.68071
Statman, R.
1980
Intuitionistic propositional logic is polynomial-space complete. Zbl 0411.03049
Statman, Richard
1979
The typed lambda-calculus is not elementary recursive. Zbl 0411.03050
Statman, R.
1979
Lower bounds on Herbrand’s theorem. Zbl 0411.03048
Statman, R.
1979
On properties preserved by contractions of concurrent systems. Zbl 0402.68022
Gourlay, John S.; Statman, Richard
1979
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
1978
Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems. Zbl 0441.03021
Statman, R.
1977
all top 5

#### Cited by 417 Authors

 18 Gross, Jonathan L. 12 Mansour, Toufik 10 Liu, Yanpei 10 Statman, Rick 10 Tucker, Thomas W. 7 Chen, Yichao 7 Demetrovics, János 6 Leitsch, Alexander 5 Carbone, Antonio 5 Intrigila, Benedetto 5 Klop, Jan Willem 5 Narendran, Paliath 5 Statman, Richard 4 Baaz, Matthias 4 Gallier, Jean H. 4 Hao, Rongxia 4 Hetzl, Stefan 4 Mairson, Harry George 4 Mannila, Heikki 4 Manzonetto, Giulio 4 Reis, Giselle 4 Salvati, Sylvain 4 Stahl, Saul 3 Barendregt, Hendrik Pieter 3 Buss, Sam 3 Chen, Jian-er 3 Coquand, Thierry 3 Dal Lago, Ugo 3 Endrullis, Jörg 3 Fiorino, Guido 3 Haeusler, Edward Hermann 3 Hull, Richard A. 3 Krajíček, Jan 3 Leivant, Daniel M. 3 Link, Sebastian 3 Longo, Giuseppe 3 Polonsky, Andrew 3 Pudlák, Pavel 3 Räihä, Kari-Jouko 3 Urquhart, Alasdair 3 Wan, Liangxia 3 Wang, David Guo-Liang 3 Zaionc, Marek 2 Abramsky, Samson 2 Anantharaman, Siva 2 Arai, Noriko H. 2 Asperti, Andrea 2 Baixeries, Jaume 2 Breazu-Tannen, Val 2 Breuvart, Flavien 2 Broda, Sabine 2 Bruce, Kim B. 2 de Nivelle, Hans 2 Degtyarev, Anatoli Ivanovich 2 Deng, Yuxin 2 Došen, Kosta 2 Fagin, Ronald 2 Ferrari, Mauro 2 Fiorentini, Camillo 2 Ghilezan, Silvia 2 Ginsburg, Seymour 2 Gordeev, Lev 2 Guo, Qing 2 Gurevich, Yuri 2 Harper, Robert 2 Hofmann, Martin 2 Jeřábek, Emil 2 Kanovich, Max Iosifovich 2 Kaytoue, Mehdi 2 Khan, Imran F. 2 Kobayashi, Naoki 2 Kohlenbach, Ulrich Wilhelm 2 Kwak, Jin Ho 2 Libkin, Leonid O. 2 Likavec, Silvia 2 Lin, Hai 2 Loader, Ralph 2 Lynch, Christopher A. 2 Maksimova, Larisa L’vovna 2 Mitchell, John C. 2 Napoli, Amedeo 2 Nourine, Lhouari 2 Rieper, Robert G. 2 Rusinowitch, Michaël 2 Schmidt-Schauß, Manfred 2 Schmitz, Sylvain 2 Solov’ëv, Sergeĭ Vladimirovich 2 Straßburger, Lutz 2 Thalheim, Bernhard 2 Tortora de Falco, Lorenzo 2 van Alten, Clint J. 2 Veanes, Margus 2 Lima Ventura, Daniel 2 Voronkov, A. A 2 Walukiewicz, Igor 2 Wei, Erling 2 Weller, Daniel S. 2 White, Arthur T. 2 Wolfram, David A. 2 Zhang, Wenhui ...and 317 more Authors
all top 5

#### Cited in 64 Serials

 56 Theoretical Computer Science 39 Annals of Pure and Applied Logic 25 Information and Computation 13 The Journal of Symbolic Logic 9 Discrete Mathematics 9 MSCS. Mathematical Structures in Computer Science 7 Archive for Mathematical Logic 7 Logical Methods in Computer Science 6 Discrete Applied Mathematics 6 Journal of Combinatorial Theory. Series B 6 Journal of Symbolic Computation 6 Journal of Automated Reasoning 5 Information Processing Letters 5 European Journal of Combinatorics 5 Journal of Functional Programming 4 Studia Logica 4 Graphs and Combinatorics 4 The Bulletin of Symbolic Logic 3 Artificial Intelligence 3 Journal of Computer and System Sciences 3 Science in China. Series A 3 Indagationes Mathematicae. New Series 3 Journal of Applied Non-Classical Logics 3 Acta Mathematica Sinica. English Series 3 ACM Transactions on Computational Logic 3 Science China. Mathematics 2 Acta Informatica 2 Computers & Mathematics with Applications 2 Fuzzy Sets and Systems 2 Applied Mathematics Letters 2 Computational Complexity 2 Journal of Logic, Language and Information 2 Annals of Mathematics and Artificial Intelligence 2 Higher-Order and Symbolic Computation 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Journal of Mathematical Analysis and Applications 1 Information Sciences 1 International Journal of Computer & Information Sciences 1 Journal of Algebra 1 Journal of Graph Theory 1 Journal of Soviet Mathematics 1 Mathematische Nachrichten 1 Notre Dame Journal of Formal Logic 1 Proceedings of the American Mathematical Society 1 Synthese 1 Transactions of the American Mathematical Society 1 Bulletin of the Section of Logic 1 Cybernetics 1 SIAM Journal on Discrete Mathematics 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 RAIRO. Informatique Théorique et Applications 1 Journal of Algebraic Combinatorics 1 Combinatorics, Probability and Computing 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 Theory of Computing Systems 1 Soft Computing 1 Journal of the ACM 1 Fundamenta Informaticae 1 Theory and Practice of Logic Programming 1 Journal of Applied Logic 1 Ars Mathematica Contemporanea 1 ACM Transactions on Computation Theory
all top 5

#### Cited in 20 Fields

 205 Mathematical logic and foundations (03-XX) 174 Computer science (68-XX) 45 Combinatorics (05-XX) 12 Order, lattices, ordered algebraic structures (06-XX) 8 Category theory; homological algebra (18-XX) 4 Manifolds and cell complexes (57-XX) 4 Information and communication theory, circuits (94-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Functions of a complex variable (30-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 General topology (54-XX) 1 History and biography (01-XX) 1 Number theory (11-XX) 1 Group theory and generalizations (20-XX) 1 Difference and functional equations (39-XX) 1 Convex and discrete geometry (52-XX) 1 Algebraic topology (55-XX) 1 Probability theory and stochastic processes (60-XX) 1 Systems theory; control (93-XX)