×

Barendregt, Hendrik Pieter

Compute Distance To:
Author ID: barendregt.henk Recent zbMATH articles by "Barendregt, Hendrik Pieter"
Published as: Barendregt, Henk; Barendregt, H. P.; Barendregt, Henk P.; Barendregt, H.
Homepage: http://www.cs.kun.nl/~henk/
External Links: MGP · ORCID · Wikidata · dblp · GND · IdRef
all top 5

Co-Authors

33 single-authored
6 Klop, Jan Willem
6 Statman, Richard
5 Dekkers, Wil J. M.
4 Bunder, Martin W.
3 Coppo, Mario
3 Dezani-Ciancaglini, Mariangiola
3 Feferman, Solomon
2 Barwise, Kenneth Jon
2 Bergstra, Jan A.
2 Burgess, John P.
2 Davis, Martin David
2 Devlin, Keith J.
2 Eklof, Paul C.
2 Enderton, Herbert B.
2 Fourman, Michael Paul
2 Ghilezan, Silvia
2 Harrington, Leo A.
2 Jech, Thomas J.
2 Juhász, István
2 Kechris, Alexander S.
2 Keisler, Howard Jerome
2 Kennaway, J. R.
2 Kock, Anders
2 Kunen, Kenneth
2 Longo, Giuseppe
2 Macintyre, Angus John
2 Makkai, Michael
2 Martin, Donald A.
2 Morley, Michael Darwin
2 Moschovakis, Yiannis Nicholas
2 Paris, Jeffrey Bruce
2 Rabin, Michael O.
2 Reyes, Gonzalo E.
2 Rudin, Mary Ellen
2 Schwichtenberg, Helmut
2 Shönfield, Joseph R.
2 Shore, Richard Arnold
2 Simpson, Stephen G.
2 Sleep, M. Ronan
2 Smoryński, Craig
2 Stroyan, Keith D.
2 Terwijn, Sebastiaan A.
2 Troelstra, Anne Sjerp
2 Volken, Henri
1 Alessi, Fabio
1 Barendsen, Erik
1 Barthe, Gilles
1 Bezem, Marc
1 Böhm, Corrado
1 Capretta, Venanzio
1 Cardone, Felice
1 Cohen, Arjeh Marcel
1 de Bruijn, Nicolaas Govert
1 Diller, Justus
1 Dowek, Gilles
1 Fitch, Frederic Brenton
1 Gandy, Robin O.
1 Gehrke, Mai
1 Geuvers, Jan Herman
1 Gilmore, Paul C.
1 Glauert, J. R. W.
1 Hemerik, Kees
1 Hindley, J. Roger
1 Honsell, Furio
1 Howard, William Alvin
1 Kaliszyk, Cezary
1 Kamreddine, Fairouz
1 Kearns, John T.
1 Koymans, Karst
1 Kozen, Dexter C.
1 Kuyper, Rutger
1 Kuzichev, Alexander Sergeevich
1 Lambek, Joachim
1 Levy, Jean-Jacques
1 Manzonetto, Giulio
1 Meredith, David
1 Mitschke, Gerd
1 Moortgat, Michael
1 Nipkow, Tobias
1 Plasmeijer, M. J.
1 Plotkin, Gordon D.
1 Polonsky, Andrew
1 Pottinger, Garrel
1 Rezus, Adrian
1 Ruys, Mark
1 Salvati, Sylvain
1 Sanchis, Luis Elpidio
1 Schubert, Aleksy
1 Scott, Dana Stewart
1 Seldin, Jonathan P.
1 Severi, Paula Gabriela
1 Tankink, Carst
1 Toyama, Yoshihito
1 Urzyczyn, Paweł
1 van Eekelen, M. C. J. D.
1 van Leeuwen, Marc A. A.
1 van Mill, Jan
1 Veneri, B.
1 Viehoff, Remy
1 Visser, Albert
...and 6 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

56 Publications have been cited 1,259 times in 1,011 Documents Cited by Year
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
454
1984
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
173
1981
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
141
1983
Introduction to lambda calculus. Zbl 0549.03012
Barendregt, H. P.
56
1984
The lambda calculus, its syntax and semantics. (Lambda-ischislenie. Ego sintaksis i semantika). Transl. from the English. Zbl 0597.03009
Barendregt, H. P.
41
1985
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
30
1989
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
28
1991
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
25
1995
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
24
2013
Lambda calculus and its models. Zbl 0558.03006
Barendregt, Henk
23
1984
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Autarkic computations in formal proofs. Zbl 1002.68156
Barendregt, Henk; Barendsen, Erik
17
2002
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Proof-assistants using dependent type systems. Zbl 1005.03011
Barendregt, Henk; Geuvers, Herman
15
2001
Solvability in lambda calculi. Zbl 0445.03005
Barendregt, H.
14
1977
Functional programming and lambda calculus. Zbl 0900.68110
Barendregt, H. P.
13
1990
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
The lambda calculus, its syntax and semantics. Reprint of the 1984 revised ed. Zbl 1267.03034
Barendregt, Henk P.
11
2012
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
10
1997
The challenge of computer mathematics. Zbl 1152.03304
Barendregt, Henk; Wiedijk, Freek
9
2005
Pairing without conventional restraints. Zbl 0299.02030
Barendregt, Henk
9
1974
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
9
1978
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
9
1991
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
Semantics for classical AUTOMATH und related systems. Zbl 0564.68060
Barendregt, Henk; Rezus, Adrian
6
1983
Constructive proofs of the range property in lambda calculus. Zbl 0796.03020
Barendregt, Henk
6
1993
Types in lambda calculi and programming languages. Zbl 0770.03005
Barendregt, Henk; Hemerik, Kees
5
1990
A global representation of the recursive functions in the \(\lambda\)- calculus. Zbl 0375.02013
Barendregt, Henk
5
1977
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
5
2009
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
5
2019
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. Zbl 1074.68077
Barendregt, Henk; Cohen, Arjeh M.
4
2001
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
3
1993
Normed uniformly reflexive structures. Zbl 0333.02021
Barendregt, Henk
3
1975
Towards an interactive mathematical proof mode. Zbl 1063.68088
Barendregt, Henk
3
2003
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
3
2015
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
A two-level approach towards lean proof-checking. Zbl 1407.68431
Barthe, Gilles; Ruys, Mark; Barendregt, Henk
3
1996
Are there countable topological combinatory algebras? Zbl 0614.54010
Barendregt, Henk; van Mill, Jan
2
1986
Recursion theoretic operators and morphisms on numbered sets. Zbl 0548.03023
Barendregt, Henk; Longo, Giuseppe
2
1983
Discriminating coded lambda terms. Zbl 1021.03506
Barendregt, Henk
2
2001
Theoretical pearls: Enumerators of lambda terms are reducing. Zbl 0816.03006
Barendregt, Henk
2
1992
Enumerators of lambda terms are reducing constructively. Zbl 0819.03004
Barendregt, Henk
2
1995
Combinatory logic and the axiom of choice. Zbl 0274.02010
Barendregt, Henk
2
1973
The incompleteness theorems. Zbl 0323.02057
Barendregt, Henk
2
1976
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
2
1998
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
1999
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
1
1982
TYPES ’93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers. Zbl 0825.00120
1
1994
A characterization of terms of the \(\lambda\)I-calculus having a normal form. Zbl 0279.02013
Barendregt, Henk
1
1973
Combinatory logic and the \(\omega\)-rule. Zbl 0299.02028
Barendregt, Henk
1
1974
Kreisel, lambda calculus, a windmill and a castle. Zbl 0894.01007
Barendregt, Henk
1
1996
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1
1998
Towards the range property for the lambda theory \(\mathcal H\). Zbl 1145.68008
Barendregt, Henk
1
2008
Fixed point theorems for precomplete numberings. Zbl 1454.03049
Barendregt, Henk; Terwijn, Sebastiaan A.
5
2019
Automata theoretic account of proof search. Zbl 1434.03060
Schubert, Aleksy; Dekkers, Wil; Barendregt, Henk P.
3
2015
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
24
2013
The lambda calculus, its syntax and semantics. Reprint of the 1984 revised ed. Zbl 1267.03034
Barendregt, Henk P.
11
2012
Loader and Urzyczyn are logically related. Zbl 1367.03032
Salvati, Sylvain; Manzonetto, Giulio; Gehrke, Mai; Barendregt, Henk
3
2012
Applications of infinitary lambda calculus. Zbl 1167.03010
Barendregt, Henk; Klop, Jan Willem
5
2009
Towards the range property for the lambda theory \(\mathcal H\). Zbl 1145.68008
Barendregt, Henk
1
2008
The challenge of computer mathematics. Zbl 1152.03304
Barendregt, Henk; Wiedijk, Freek
9
2005
Böhm’s theorem, Church’s delta, numeral systems, and Ershov morphisms. Zbl 1171.03310
Statman, Richard; Barendregt, Henk
2
2005
Towards an interactive mathematical proof mode. Zbl 1063.68088
Barendregt, Henk
3
2003
Autarkic computations in formal proofs. Zbl 1002.68156
Barendregt, Henk; Barendsen, Erik
17
2002
Proof-assistants using dependent type systems. Zbl 1005.03011
Barendregt, Henk; Geuvers, Herman
15
2001
Electronic communication of mathematics and the interaction of computer algebra systems and proof assistants. Zbl 1074.68077
Barendregt, Henk; Cohen, Arjeh M.
4
2001
Discriminating coded lambda terms. Zbl 1021.03506
Barendregt, Henk
2
2001
Lambda terms for natural deduction, sequent calculus and cut elimination. Zbl 0949.03055
Barendregt, Henk; Ghilezan, Silvia
9
2000
Applications of Plotkin-terms: Partitions and morphisms for closed terms. Zbl 0946.68022
Statman, Richard; Barendregt, Henk
2
1999
Completeness of two systems of illative combinatory logic for first-order propositional and predicate calculus. Zbl 0908.03016
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
2
1998
Completeness of the propositions-as-types interpretation of intuitionistic logic into illative combinatory logic. Zbl 0947.03018
Dekkers, Wil; Bunder, Martin; Barendregt, Henk
1
1998
The impact of the lambda calculus in logic and computer science. Zbl 0887.03008
Barendregt, Henk
10
1997
A two-level approach towards lean proof-checking. Zbl 1407.68431
Barthe, Gilles; Ruys, Mark; Barendregt, Henk
3
1996
Kreisel, lambda calculus, a windmill and a castle. Zbl 0894.01007
Barendregt, Henk
1
1996
Termination for direct sums of left-linear complete term rewriting systems. Zbl 0885.68093
Toyama, Y.; Klop, J. W.; Barendregt, H. P.
25
1995
Enumerators of lambda terms are reducing constructively. Zbl 0819.03004
Barendregt, Henk
2
1995
TYPES ’93, Types for proofs and programs. International Workshop, Nijmegen, the Netherlands, May 24-28, 1993. Selected papers. Zbl 0825.00120
1
1994
Constructive proofs of the range property in lambda calculus. Zbl 0796.03020
Barendregt, Henk
6
1993
Systems of illative combinatory logic complete for first-order propositional and predicate calculus. Zbl 0791.03006
Barendregt, Henk; Bunder, Martin; Dekkers, Wil
3
1993
Theoretical pearls: Representing ‘undefined’ in lambda calculus. Zbl 0816.03007
Barendregt, Henk
22
1992
Theoretical pearls: Enumerators of lambda terms are reducing. Zbl 0816.03006
Barendregt, Henk
2
1992
Introduction to generalized type systems. Zbl 0931.03019
Barendregt, Henk
28
1991
Self-interpretation in lambda calculus. Zbl 1159.03304
Barendregt, Henk
9
1991
Functional programming and lambda calculus. Zbl 0900.68110
Barendregt, H. P.
13
1990
Types in lambda calculi and programming languages. Zbl 0770.03005
Barendregt, Henk; Hemerik, Kees
5
1990
LEAN: An intermediate language based on graph rewriting. Zbl 0681.68037
Barendregt, H. P.; van Eekelen, M. C. J. D.; Plasmeijer, M. J.; Glauert, J. R. W.; Kennaway, J. R.; Sleep, M. R.
30
1989
Needed reduction and spine strategies for the lambda calculus. Zbl 0635.03009
Barendregt, H. P.; Kennaway, J. R.; Klop, J. W.; Sleep, M. R.
11
1987
Are there countable topological combinatory algebras? Zbl 0614.54010
Barendregt, Henk; van Mill, Jan
2
1986
The lambda calculus, its syntax and semantics. (Lambda-ischislenie. Ego sintaksis i semantika). Transl. from the English. Zbl 0597.03009
Barendregt, H. P.
41
1985
The lambda calculus. Its syntax and semantics. Rev. ed. Zbl 0551.03007
Barendregt, H. P.
454
1984
Introduction to lambda calculus. Zbl 0549.03012
Barendregt, H. P.
56
1984
Lambda calculus and its models. Zbl 0558.03006
Barendregt, Henk
23
1984
A filter lambda model and the completeness of type assignment. Zbl 0545.03004
Barendregt, Henk; Coppo, Mario; Dezani-Ciancaglini, Mariangiola
141
1983
Semantics for classical AUTOMATH und related systems. Zbl 0564.68060
Barendregt, Henk; Rezus, Adrian
6
1983
Recursion theoretic operators and morphisms on numbered sets. Zbl 0548.03023
Barendregt, Henk; Longo, Giuseppe
2
1983
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001
1
1982
The lambda calculus, its syntax and semantics. Zbl 0467.03010
Barendregt, H. P.
173
1981
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
15
1980
Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001
9
1978
Degrees of sensible lambda theories. Zbl 0408.03012
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
3
1978
Solvability in lambda calculi. Zbl 0445.03005
Barendregt, H.
14
1977
A global representation of the recursive functions in the \(\lambda\)- calculus. Zbl 0375.02013
Barendregt, Henk
5
1977
Representability in lambda algebras. Zbl 0399.03013
Barendregt, Henk; Bergstra, Jan; Klop, Jan Willem; Volken, Henri
7
1976
The incompleteness theorems. Zbl 0323.02057
Barendregt, Henk
2
1976
Normed uniformly reflexive structures. Zbl 0333.02021
Barendregt, Henk
3
1975
Pairing without conventional restraints. Zbl 0299.02030
Barendregt, Henk
9
1974
Combinatory logic and the \(\omega\)-rule. Zbl 0299.02028
Barendregt, Henk
1
1974
Combinatory logic and the axiom of choice. Zbl 0274.02010
Barendregt, Henk
2
1973
A characterization of terms of the \(\lambda\)I-calculus having a normal form. Zbl 0279.02013
Barendregt, Henk
1
1973
all top 5

Cited by 944 Authors

20 Fernández, Maribel
19 Dezani-Ciancaglini, Mariangiola
17 Kesner, Delia
17 Klop, Jan Willem
16 Ronchi Della Rocca, Simona
16 van Bakel, Steffen
15 Barendregt, Hendrik Pieter
15 Honsell, Furio
13 Dal Lago, Ugo
13 Kamareddine, Fairouz D.
13 Manzonetto, Giulio
12 Longo, Giuseppe
11 Barbanera, Franco
11 Intrigila, Benedetto
11 Nour, Karim
11 Salibra, Antonino
10 de’Liguoro, Ugo
10 Fu, Yuxi
10 Gabbay, Murdoch James
10 Mackie, Ian
9 Alessi, Fabio
9 Statman, Rick
8 Abramsky, Samson
8 Bucciarelli, Antonio
8 Coppo, Mario
8 Endrullis, Jörg
8 Lenisa, Marina
8 Liquori, Luigi
8 Nederpelt, Rob
8 Schmidt-Schauß, Manfred
7 Ayala-Rincón, Mauricio
7 Berline, Chantal
7 Fujita, Ken-etsu
7 Geuvers, Jan Herman
7 Ghilezan, Silvia
7 Kirchner, Claude
7 Polonsky, Andrew
7 Terwijn, Sebastiaan A.
7 Yoshida, Nobuko
6 Alves, Sandra
6 Ariola, Zena M.
6 Berardi, Stefano
6 Curien, Pierre-Louis
6 Hendriks, Dimitri
6 Jacobs, Bart
6 Jay, C. Barry
6 Pitts, Andrew M.
6 Red’ko, V. N.
6 Ríos, Alejandro
6 Salvati, Sylvain
6 Urzyczyn, Paweł
5 de Vries, Fer-Jan J.
5 Di Cosmo, Roberto
5 Hardin, Thérèse
5 Miller, Dale Allen
5 Pagani, Michele
5 Sabel, David
5 Scagnetto, Ivan
5 Sinot, François-Régis
5 Sørensen, Morten Heine B.
4 Bezem, Marc
4 Bonelli, Eduardo
4 Bruni, Roberto
4 Bunder, Martin W.
4 Cantini, Andrea
4 Castagna, Giuseppe
4 Cirstea, Horatiu
4 Copello, Ernesto
4 Coquand, Thierry
4 Danvy, Olivier
4 Cavalcanti de Moura, Flávio Leonardo
4 de Vrijer, Roel
4 Di Gianantonio, Pietro
4 Dowek, Gilles
4 Ehrhard, Thomas
4 Faure, Germain
4 Florido, Mário
4 Gadducci, Fabio
4 Grue, Klaus E.
4 Hagiya, Masami
4 Hindley, J. Roger
4 Hofmann, Martin
4 Honda, Kohei
4 Huet, Gerard P.
4 Khasidashvili, Zurab O.
4 Kirchner, Hélène
4 Lescanne, Pierre
4 Margaria, Ines
4 Meyer, Robert Kenneth
4 Miquel, Alexandre
4 Mitchell, John C.
4 Moggi, Eugenio
4 Montanari, Ugo G.
4 Nipkow, Tobias
4 Paolini, Luca
4 Pinto, Luís F.
4 Plotkin, Gordon D.
4 Rehof, Jakob
4 Rowe, Reuben N. S.
4 Scott, Philip J.
...and 844 more Authors
all top 5

Cited in 96 Serials

274 Theoretical Computer Science
79 Information and Computation
51 Annals of Pure and Applied Logic
43 MSCS. Mathematical Structures in Computer Science
33 Journal of Functional Programming
23 Journal of Automated Reasoning
22 Logical Methods in Computer Science
20 Information Processing Letters
16 The Journal of Symbolic Logic
13 Archive for Mathematical Logic
13 Higher-Order and Symbolic Computation
12 Journal of Symbolic Computation
10 Notre Dame Journal of Formal Logic
10 RAIRO. Informatique Théorique et Applications
9 Studia Logica
8 Journal of Computer and System Sciences
8 Cybernetics and Systems Analysis
7 Acta Informatica
7 Formal Aspects of Computing
7 Indagationes Mathematicae. New Series
7 Journal of Logical and Algebraic Methods in Programming
6 The Bulletin of Symbolic Logic
6 RAIRO. Theoretical Informatics and Applications
5 Journal of Philosophical Logic
5 Journal of Computer Science and Technology
5 The Journal of Logic and Algebraic Programming
4 History and Philosophy of Logic
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Logic, Language and Information
4 Journal of Applied Logic
3 Fuzzy Sets and Systems
3 RAIRO, Informatique Théorique
3 Synthese
3 New Generation Computing
3 Journal of Applied Non-Classical Logics
3 Annals of Mathematics and Artificial Intelligence
2 Discrete Applied Mathematics
2 Applied Mathematics and Computation
2 Journal of Pure and Applied Algebra
2 Programming and Computer Software
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Transactions of the American Mathematical Society
2 Topology and its Applications
2 Journal of Mathematical Sciences (New York)
2 The Electronic Journal of Combinatorics
2 Theory of Computing Systems
2 Topoi
2 Fundamenta Informaticae
2 Lobachevskii Journal of Mathematics
2 Sādhanā
2 Computer Languages, Systems & Structures
2 The Review of Symbolic Logic
2 Journal of Formalized Reasoning
1 Archiv für Mathematische Logik und Grundlagenforschung
1 International Journal of General Systems
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Letters in Mathematical Physics
1 Physics Letters. A
1 The Mathematical Intelligencer
1 Beiträge zur Algebra und Geometrie
1 Algebra Universalis
1 Information Sciences
1 Journal of Soviet Mathematics
1 Kybernetika
1 Metroeconomica
1 Semigroup Forum
1 Siberian Mathematical Journal
1 Cybernetics
1 Cybernetics and Systems
1 Science of Computer Programming
1 Japan Journal of Applied Mathematics
1 International Journal of Parallel Programming
1 Computational Geometry
1 International Journal of Algebra and Computation
1 International Journal of Foundations of Computer Science
1 Formal Methods in System Design
1 Applied Categorical Structures
1 Diagrammes
1 Mathematical Logic Quarterly (MLQ)
1 Science in China. Series E
1 Mathematical Problems in Engineering
1 Nonlinear Dynamics
1 Annals of Combinatorics
1 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
1 Journal of the European Mathematical Society (JEMS)
1 Foundations of Science
1 Theory and Practice of Logic Programming
1 Comptes Rendus. Mathématique. Académie des Sciences, Paris
1 Logica Universalis
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 \(p\)-Adic Numbers, Ultrametric Analysis, and Applications
1 RAIRO. Theoretical Informatics and Applications
1 Journal of Theoretical Biology
1 Computability
1 Chamchuri Journal of Mathematics
1 Research in the Mathematical Sciences

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.