×

zbMATH — the first resource for mathematics

Feys, Robert

Compute Distance To:
Author ID: feys.robert Recent zbMATH articles by "Feys, Robert"
Published as: Feys, R.; Feys, Robert
Documents Indexed: 25 Publications since 1927, including 8 Books

Publications by Year

Citations contained in zbMATH Open

8 Publications have been cited 334 times in 264 Documents Cited by Year
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
193
1958
Combinatory logic. 2nd printing. Zbl 0175.27601
Curry, H. B.; Feys, R.
117
1968
Modal logics. Edited with some complements by Joseph Dopp. Zbl 0128.01203
Feys, R.
15
1965
Dictionary of symbols of mathematical logic. Zbl 0179.00901
Feys, R.; Fitch, F. B.
4
1969
Modal logics. (Modal’naja logika.) Übersetzung mit Ergänzungen herausgegeben von G. E. Minc. Zbl 0291.02009
Feys, R.
2
1974
Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\). Zbl 0172.29103
Feys, Robert
1
1969
Les logiques nouvelles des modalités. JFM 63.0826.01
Feys, R.
1
1937
Directions nouvelles de la logistique aux Etats-Unis. JFM 63.0820.04
Feys, R.
1
1937
Modal logics. (Modal’naja logika.) Übersetzung mit Ergänzungen herausgegeben von G. E. Minc. Zbl 0291.02009
Feys, R.
2
1974
Dictionary of symbols of mathematical logic. Zbl 0179.00901
Feys, R.; Fitch, F. B.
4
1969
Modèles à variables de différentes sortes pour les logiques modales \(M''\) ou \(S5\). Zbl 0172.29103
Feys, Robert
1
1969
Combinatory logic. 2nd printing. Zbl 0175.27601
Curry, H. B.; Feys, R.
117
1968
Modal logics. Edited with some complements by Joseph Dopp. Zbl 0128.01203
Feys, R.
15
1965
Combinatory logic. With two sections by William Craig. Zbl 0081.24104
Curry, Haskell B.; Feys, Robert
193
1958
Les logiques nouvelles des modalités. JFM 63.0826.01
Feys, R.
1
1937
Directions nouvelles de la logistique aux Etats-Unis. JFM 63.0820.04
Feys, R.
1
1937
all top 5

Cited by 286 Authors

11 Dezani-Ciancaglini, Mariangiola
8 Statman, Rick
8 van Bakel, Steffen
6 Hindley, Roger
5 Bunder, Martin W.
5 Coppo, Mario
5 Ronchi Della Rocca, Simona
5 Seldin, Jonathan P.
4 Bimbó, Katalin
4 Meyer, Robert Kenneth
3 Böhm, Corrado
3 de Vrijer, Roel
3 Fernández, Maribel
3 Hindley, J. Roger
3 Klop, Jan Willem
3 Lambek, Joachim
3 Lombardi, Carlos
3 Minari, Pierluigi
3 Nederpelt, Rob
3 Rabe, Florian
3 Ríos, Alejandro
3 Salibra, Antonino
3 Sato, Masahiko
3 Sørensen, Morten Heine B.
3 Szasz, Nora
3 Tasistro, Alvaro
3 Zaionc, Marek
2 Barbanera, Franco
2 Bergstra, Jan A.
2 Bickford, Mark
2 Cardone, Felice
2 Constable, Robert Lee
2 Copello, Ernesto
2 Coquand, Thierry
2 Curry, Haskell Brooks
2 Desclés, Jean-Pierre
2 Dougherty, Daniel J.
2 Dunn, Jon Michael
2 Geuvers, Jan Herman
2 Goldberg, Mayer
2 Helsen, Simon
2 Hirokawa, Sachio
2 Horozal, Fulya
2 Huet, Gerard P.
2 Johann, Patricia
2 Kesner, Delia
2 Laan, Twan
2 Levy, Jean-Jacques
2 Longo, Giuseppe
2 Margaria, Ines
2 Meredith, David
2 Mints, Grigoriĭ Efroimovich
2 Mitschke, Gerd
2 Pollack, Randy
2 Rybakov, Vladimir Vladimirovich
2 Salvati, Sylvain
2 Stirton, William R.
2 Tait, William Walker
2 Thiemann, Peter J.
2 Troelstra, Anne Sjerp
2 Venneri, Betti
2 Wadler, Philip Lee
2 Walukiewicz, Igor
2 Zacchi, Maddalena
1 Abramsky, Samson
1 Accattoli, Beniamino
1 Aiello, Luigia
1 Akiba, Ken
1 Alessi, Fabio
1 Allen, Stuart F.
1 Andrikonis, Julius
1 Antonelli, Gian Aldo
1 Audrito, Giorgio
1 Backhouse, Roland C.
1 Baier, Christel
1 Baillot, Patrick
1 Barendregt, Hendrik Pieter
1 Beal, Jacob
1 Beeson, Michael J.
1 Bellot, Patrick
1 Bellucci, Francesco
1 Bendkowski, Maciej
1 Berger, Ulrich
1 Bethke, Inge
1 Bezem, Marc
1 Blanqui, Frédéric
1 Bloo, Roel
1 Bonelli, Eduardo
1 Brezhnev, Vladimir
1 Brotherston, James
1 Calcagno, Cristiano
1 Canal, Richard
1 Casadei, Roberto
1 Castan, M.
1 Castanet, Richard
1 Castro-Lopez, M. A.
1 Chellas, Brian F.
1 Chisholm, Paul
1 Choun Tong Lieu
1 Cleaveland, Rance
...and 186 more Authors
all top 5

Cited in 56 Serials

71 Theoretical Computer Science
20 Information and Computation
12 Studia Logica
9 Annals of Pure and Applied Logic
8 Archiv für Mathematische Logik und Grundlagenforschung
7 Journal of Philosophical Logic
7 Notre Dame Journal of Formal Logic
7 Synthese
7 Archive for Mathematical Logic
5 Journal of Automated Reasoning
4 Journal of Computer and System Sciences
4 The Journal of Symbolic Logic
4 RAIRO, Informatique Théorique
4 Logica Universalis
3 Information Processing Letters
3 Transactions of the American Mathematical Society
3 History and Philosophy of Logic
3 Journal of Symbolic Computation
3 Formal Aspects of Computing
3 MSCS. Mathematical Structures in Computer Science
3 Higher-Order and Symbolic Computation
3 Journal of Applied Logic
2 Acta Informatica
2 Lithuanian Mathematical Journal
2 Algebra and Logic
2 Compositio Mathematica
2 International Journal of Computer & Information Sciences
2 Journal of Pure and Applied Algebra
2 Cybernetics and Systems
2 RAIRO. Informatique Théorique et Applications
2 Journal of Functional Programming
2 Revue Française d’Automatique, Informatique, Recherche Opérationnelle. Série Rouge
1 Mathematical Notes
1 Metrika
1 Advances in Mathematics
1 BIT
1 Cahiers de Topologie et Géométrie Différentielle Catégoriques
1 Information Sciences
1 Kybernetika
1 Linguistics and Philosophy
1 Mathematische Annalen
1 Siberian Mathematical Journal
1 International Journal of Parallel Programming
1 Indagationes Mathematicae. New Series
1 Journal of Logic, Language and Information
1 Diagrammes
1 The Bulletin of Symbolic Logic
1 Doklady Mathematics
1 Theory of Computing Systems
1 Soft Computing
1 The Journal of Logic and Algebraic Programming
1 ACM Transactions on Computational Logic
1 Bulletin of the American Mathematical Society
1 Electronic Notes in Theoretical Computer Science
1 Logical Methods in Computer Science
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year