×

zbMATH — the first resource for mathematics

Statman, Richard

Compute Distance To:
Author ID: statman.richard Recent zbMATH articles by "Statman, Richard"
Published as: Statman, R.; Statman, Richard
External Links: MGP · dblp
Documents Indexed: 35 Publications since 1977, including 2 Books

Publications by Year

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
56
1979
Genus distributions for two classes of graphs. Zbl 0669.05028
Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard
41
1989
The typed lambda-calculus is not elementary recursive. Zbl 0411.03050
Statman, R.
38
1979
On the structure of Armstrong relations for functional dependencies. Zbl 0629.68096
Beeri, Catriel; Dowd, Martin; Fagin, Ronald; Statman, Richard
36
1984
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
31
1985
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
28
1978
Completeness, invariance and lambda-definability. Zbl 0487.03006
Statman, R.
27
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
26
2013
Lower bounds on Herbrand’s theorem. Zbl 0411.03048
Statman, R.
26
1979
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
12
1983
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
7
1997
On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems. Zbl 0486.03011
Statman, R.
6
1981
The omega rule is \(\Pi_1^1\)-complete in the \(\lambda \beta \)-calculus. Zbl 1173.03010
Intrigila, Benedetto; Statman, Richard
3
2009
Solving functional equations at higher types; some examples and some theorems. Zbl 0623.03018
Statman, Richard
3
1986
The omega rule is \(\boldsymbol\Pi_{1}^{1}\)-complete in the \(\lambda \beta \)-calculus. Zbl 1215.03024
Intrigila, Benedetto; Statman, Richard
2
2007
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Some results on extensionality in lambda calculus. Zbl 1065.03014
Intrigila, Benedetto; Statman, Richard
2
2005
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
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.
2
1982
Speed-up by theories with infinite models. Zbl 0469.03040
Statman, R.
2
1981
On properties preserved by contractions of concurrent systems. Zbl 0402.68022
Gourlay, John S.; Statman, Richard
2
1979
Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems. Zbl 0441.03021
Statman, R.
2
1977
A note on the complexity of synthesizing finite machines. Zbl 0651.03029
Statman, Richard
1
1987
Unifiability is complete for co-N Log Space. Zbl 0503.68031
Lewis, Harry R.; Statman, Richard
1
1982
Worst case exponential lower bounds for input resolution with paramodulation. Zbl 0484.68071
Statman, R.
1
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
26
2013
The omega rule is \(\Pi_1^1\)-complete in the \(\lambda \beta \)-calculus. Zbl 1173.03010
Intrigila, Benedetto; Statman, Richard
3
2009
The omega rule is \(\boldsymbol\Pi_{1}^{1}\)-complete in the \(\lambda \beta \)-calculus. Zbl 1215.03024
Intrigila, Benedetto; Statman, Richard
2
2007
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Some results on extensionality in lambda calculus. Zbl 1065.03014
Intrigila, Benedetto; Statman, Richard
2
2005
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
1999
On the unification problem for Cartesian closed categories. Zbl 0882.03044
Narendran, Paliath; Pfenning, Frank; Statman, Richard
7
1997
Genus distributions for two classes of graphs. Zbl 0669.05028
Furst, Merrick L.; Gross, Jonathan L.; Statman, Richard
41
1989
A note on the complexity of synthesizing finite machines. Zbl 0651.03029
Statman, Richard
1
1987
Solving functional equations at higher types; some examples and some theorems. Zbl 0623.03018
Statman, Richard
3
1986
Logical relations and the typed \(\lambda\)-calculus. Zbl 0594.03006
Statman, R.
31
1985
On the structure of Armstrong relations for functional dependencies. Zbl 0629.68096
Beeri, Catriel; Dowd, Martin; Fagin, Ronald; Statman, Richard
36
1984
\(\lambda\)-definable functionals and \(\beta\eta\) conversion. Zbl 0537.03009
Statman, R.
12
1983
Completeness, invariance and lambda-definability. Zbl 0487.03006
Statman, R.
27
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.
2
1982
Unifiability is complete for co-N Log Space. Zbl 0503.68031
Lewis, Harry R.; Statman, Richard
1
1982
On the existence of closed terms in the typed lambda calculus II: Transformations of unification problems. Zbl 0486.03011
Statman, R.
6
1981
Speed-up by theories with infinite models. Zbl 0469.03040
Statman, R.
2
1981
Worst case exponential lower bounds for input resolution with paramodulation. Zbl 0484.68071
Statman, R.
1
1980
Intuitionistic propositional logic is polynomial-space complete. Zbl 0411.03049
Statman, Richard
56
1979
The typed lambda-calculus is not elementary recursive. Zbl 0411.03050
Statman, R.
38
1979
Lower bounds on Herbrand’s theorem. Zbl 0411.03048
Statman, R.
26
1979
On properties preserved by contractions of concurrent systems. Zbl 0402.68022
Gourlay, John S.; Statman, Richard
2
1979
Bounds for proof-search and speed-up in the predicate calculus. Zbl 0411.03047
Statman, Richard
28
1978
Complexity of derivations from quantifier-free Horn formulae, mechanical introduction of explicit definitions, and refinement of completeness theorems. Zbl 0441.03021
Statman, R.
2
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

Citations by Year