×

Meyer, Albert Ronald

Compute Distance To:
Author ID: meyer.albert-ronald Recent zbMATH articles by "Meyer, Albert Ronald"
Published as: Meyer, Albert R.; Meyer, A. R.; Meyer, Albert; Meyer, A.
Homepage: https://people.csail.mit.edu/meyer/
External Links: MGP · Wikidata · dblp · IdRef
all top 5

Co-Authors

9 single-authored
8 Fischer, Michael J.
6 Fischer, Patrick Carl
5 Paterson, Michael S.
5 Rosenberg, Arnold Leonard
3 Bloom, Bard
3 Halpern, Joseph Yehuda
3 Mirkowska, Grazyna
3 Mitchell, John C.
3 Parikh, Rohit
3 Seiferas, Joel I.
3 Tiuryn, Jerzy
2 Bloniarz, Peter A.
2 Breazu-Tannen, Val
2 Bruce, Kim B.
2 Bruss, Anna Rosa
2 Clarke, Edmund Melson jun.
2 Greif, Irene
2 Hoffmann, Christoph M.
2 Ito, Takayasu
2 Jategaonkar, Lalita A.
2 Jim, Trevor
2 Kleitman, Daniel J.
2 Lipton, Richard Jay
2 Lynch, Nancy Ann
2 Mayr, Ernst W.
2 McCreight, Edward M.
2 Pratt, Vaughan R.
2 Rabinovich, Alexander
2 Reif, John H.
2 Rivest, Ronald Linn
2 Savage, John E.
2 Stockmeyer, Larry J.
2 Streett, Robert S.
2 Ullman, Jeffrey David
2 Winklmann, Karl
1 Aho, Alfred Vaino
1 Andler, Sten F.
1 Andrews, Gregory R.
1 Angluin, Dana
1 Banning, John
1 Bernstein, Philip A.
1 Borodin, Allan B.
1 Brent, Richard Peirce
1 Brown, Donna J.
1 Cardoza, E.
1 Carlson, David A.
1 Cartwright, Robert
1 Casanova, Marco Antonio
1 Chandra, Ashok K.
1 Chazelle, Bernard
1 Cohen, Norman H.
1 Cohen, Richard M.
1 Cohen, Rina S.
1 Constable, Robert Lee
1 Cook, Stephen Arthur
1 Cousot, Patrick
1 Cousot, Radhia
1 Critcher, Adrienne
1 Cypher, A.
1 DeMillo, Richard Allan
1 Dobkin, David P.
1 Ehrig, Hartmut
1 Even, Shimon
1 Fagin, Ronald
1 Filotti, I. S.
1 Fleck, Arthur C.
1 Fong, Amelia C.
1 Francez, Nissim
1 Fraser, Christopher W.
1 Frederickson, Greg N.
1 Gerhart, Susan L.
1 Good, Donald I.
1 Guibas, Leonidas John
1 Gull, Walter E.
1 Halpern, Joe
1 Harel, David
1 Harry, E.
1 Heintz, Joos
1 Helm, John P.
1 Hong, Jiawei
1 Ibarra, Oscar H.
1 Istrail, Sorin
1 Ja’Ja’, Joseph F.
1 Jenkins, Michael A.
1 Johnson, Donald B.
1 Jones, Neil D.
1 Joseph, Deborah
1 Kannan, Ravindran
1 Karp, Richard Manning
1 Kung, H. T.
1 Lee, Stanley
1 Leininger, Brian S.
1 Lichtenstein, David
1 Liu, Ken-Chih
1 Lloyd, Errol L.
1 Loui, Michael C.
1 Mahr, Bernd
1 Mayer, Jack N.
1 McCarthy, John
1 Miller, Gary Lee
...and 36 more Co-Authors

Publications by Year

Citations contained in zbMATH Open

58 Publications have been cited 1,112 times in 1,016 Documents Cited by Year
Word problems requiring exponential time: Preliminary report. Zbl 0359.68050
Stockmeyer, L. J.; Meyer, A. R.
256
1973
The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007
Mayr, Ernst W.; Meyer, Albert R.
151
1982
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
131
1995
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
67
1968
Coping with errors in binary search procedures. Zbl 0443.68043
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J.
46
1980
Separating nondeterministic time complexity classes. Zbl 0366.68038
Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R.
42
1978
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
39
1982
Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074
McCreight, E. M.; Meyer, A. R.
29
1969
Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067
Cardoza, E.; Lipton, R.; Meyer, A. R.
27
1976
The complexity of the finite containment problem for Petri nets. Zbl 0462.68020
Mayr, Ernst W.; Meyer, Albert R.
26
1981
Program size in restricted programming languages. Zbl 0301.68019
Meyer, Albert R.
25
1972
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
21
1990
Real-time simulation of multihead tape units. Zbl 0261.68027
Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L.
20
1972
Computational speed-up by effective operators. Zbl 0249.68018
Meyer, Albert R.; Fischer, Patrick C.
19
1972
A note on star-free events. Zbl 0224.94060
Meyer, Albert R.
16
1969
A classification of the recursive functions. Zbl 0247.02037
Meyer, Albert R.; Ritchie, Dennis M.
16
1972
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056
Jategaonkar, Lalita; Meyer, Albert R.
12
1996
On time-space classes and their relation to the theory of real addition. Zbl 0467.03038
Bruss, Anna R.; Meyer, Albert R.
10
1980
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036
Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S.
8
1982
An improved overlap argument for on-line multiplication. Zbl 0301.68059
Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R.
8
1974
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
8
1985
Relativization of the theory of computational complexity. Zbl 0353.68059
Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J.
8
1976
Full abstraction and the context lemma. Zbl 0856.03013
Jim, Trevor; Meyer, Albert R.
7
1996
Continuation semantics in typed lambda-calculi. Zbl 0565.68028
Meyer, Albert R.; Wand, Mitchell
7
1985
Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153
Stockmeyer, Larry; Meyer, Albert R.
6
2002
From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011
Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R.
6
1984
Time-restricted sequence generation. Zbl 0191.18301
Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L.
6
1970
Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007
Greif, Irene; Meyer, Albert R.
6
1981
Expressing program looping in regular dynamic logic. Zbl 0478.68031
Meyer, Albert R.; Winklmann, Karl
6
1982
Equivalences among logics of programs. Zbl 0552.68037
Meyer, Albert R.; Tiuryn, Jerzy
5
1984
Honest bounds for complexity classes of recursive functions. Zbl 0322.02038
Moll, R.; Meyer, A. R.
4
1974
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
4
1984
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
Characterization of realizable space complexities. Zbl 0826.03019
Seiferas, Joel I.; Meyer, Albert R.
3
1995
Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170
Jategaonkar, Lalita; Meyer, Albert
3
1993
Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036
Meyer, Albert R.
3
1975
Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.
3
1978
On time versus space. III. Zbl 0606.68043
Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel
2
1986
Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034
Meyer, Albert R.
2
1975
A note on the average time to compute transitive closures. Zbl 0363.68055
Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R.
2
1976
On orders of translations and enumerations. Zbl 0276.02022
Helm, John; Meyer, Albert; Young, Paul
2
1973
The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029
Meyer, A. R.; Winklmann, K.
2
1979
Remarks on algebraic decomposition of automata. Zbl 0175.00902
Meyer, A. R.; Thompson, C.
2
1969
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
2
1985
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
Program size and economy of descriptions: Preliminary report. Zbl 0354.68024
Meyer, A. R.; Bagchi, A.
2
1972
The inherent computational complexity of theories of ordered sets. Zbl 0361.02061
Meyer, Albert R.
2
1975
A note on equivalences among logics of programs. Zbl 0502.68005
Meyer, Albert R.; Tiuryn, Jerzy
1
1982
Properties of bounds on computation. Zbl 0287.68026
Meyer, A. R.; McCreight, E. M.
1
1969
Sequential Boolean equations. Zbl 0201.01603
Even, Shimon; Meyer, Albert R.
1
1969
Lambda calculus with constrained types. Zbl 0587.03011
Breazu-Tannen, Val; Meyer, Albert R.
1
1985
On time-space classes and their relation to the theory of real addition. Zbl 1282.68109
Bruss, Anni R.; Meyer, Albert R.
1
1978
Full abstraction and the context lemma (preliminary report). Zbl 07571998
Jim, Trevor; Meyer, Albert R.
1
1991
Cosmological lower bound on the circuit complexity of a small problem in logic. Zbl 1326.68153
Stockmeyer, Larry; Meyer, Albert R.
6
2002
Deciding true concurrency equivalences on safe, finite nets. Zbl 0877.68056
Jategaonkar, Lalita; Meyer, Albert R.
12
1996
Full abstraction and the context lemma. Zbl 0856.03013
Jim, Trevor; Meyer, Albert R.
7
1996
Bisimulation can’t be traced. Zbl 0886.68027
Bloom, Bard; Istrail, Sorin; Meyer, Albert R.
131
1995
Characterization of realizable space complexities. Zbl 0826.03019
Seiferas, Joel I.; Meyer, Albert R.
3
1995
Deciding true concurrency equivalences on finite safe nets (preliminary report). Zbl 1422.68170
Jategaonkar, Lalita; Meyer, Albert
3
1993
Experimenting with process equivalence. Zbl 0761.68037
Bloom, Bard; Meyer, Albert R.
3
1992
Full abstraction and the context lemma (preliminary report). Zbl 07571998
Jim, Trevor; Meyer, Albert R.
1
1991
The semantics of second-order lambda calculus. Zbl 0714.68052
Bruce, Kim B.; Meyer, Albert R.; Mitchell, John C.
21
1990
A remark on bisimulation between probabilistic processes. Zbl 0681.68027
Bloom, Bard; Meyer, Albert R.
2
1989
On time versus space. III. Zbl 0606.68043
Halpern, Joseph Y.; Loui, Michael C.; Meyer, Albert R.; Weise, Daniel
2
1986
Equations between regular terms and an application to process logic. Zbl 0587.68031
Parikh, Rohit; Chandra, Ashok; Halpern, Joe; Meyer, Albert
8
1985
Continuation semantics in typed lambda-calculi. Zbl 0565.68028
Meyer, Albert R.; Wand, Mitchell
7
1985
Second-order logical relations. Zbl 0565.68029
Mitchell, John C.; Meyer, Albert R.
2
1985
Lambda calculus with constrained types. Zbl 0587.03011
Breazu-Tannen, Val; Meyer, Albert R.
1
1985
From denotational to operational and axiomatic semantics for ALGOL-like languages: an overview. Zbl 0558.68011
Trakhtenbrot, B. A.; Halpern, Joseph Y.; Meyer, Albert R.
6
1984
Equivalences among logics of programs. Zbl 0552.68037
Meyer, Albert R.; Tiuryn, Jerzy
5
1984
Can message buffers be axiomatized in linear temporal logic? Zbl 0591.68022
Sistla, A. P.; Clarke, E. M.; Francez, N.; Meyer, A. R.
4
1984
Termination assertions for recursive programs: Completeness and axiomatic definability. Zbl 0537.68034
Meyer, Albert R.; Mitchell, John C.
2
1983
The complexity of the word problems for commutative semigroups and polynomial ideals. Zbl 0506.03007
Mayr, Ernst W.; Meyer, Albert R.
151
1982
What is a model of the lambda calculus? Zbl 0507.03002
Meyer, Albert R.
39
1982
Axiomatic definitions of programming languages: A theoretical assessment. Zbl 0478.68009
Meyer, Albert R.; Halpern, Joseph Y.
9
1982
Omega(n log n) lower bounds on length of Boolean formulas. Zbl 0488.94036
Fischer, Michael J.; Meyer, Albert R.; Paterson, Michael S.
8
1982
Expressing program looping in regular dynamic logic. Zbl 0478.68031
Meyer, Albert R.; Winklmann, Karl
6
1982
A note on equivalences among logics of programs. Zbl 0502.68005
Meyer, Albert R.; Tiuryn, Jerzy
1
1982
The complexity of the finite containment problem for Petri nets. Zbl 0462.68020
Mayr, Ernst W.; Meyer, Albert R.
26
1981
Definability in dynamic logic. Zbl 0472.03013
Meyer, Albert R.; Parikh, Rohit
14
1981
Specifying the semantics of while programs: a tutorial and critique of a paper by Hoare and Lauer. Zbl 0471.68007
Greif, Irene; Meyer, Albert R.
6
1981
The deducibility problem in propositional dynamic logic. Zbl 0466.68024
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
The deducibility problem in propositional dynamic logic. Zbl 0469.68041
Meyer, Albert R.; Streett, Robert S.; Mirkowska, Grazyna
2
1981
Coping with errors in binary search procedures. Zbl 0443.68043
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.; Winkelmann, K.; Spencer, J.
46
1980
On time-space classes and their relation to the theory of real addition. Zbl 0467.03038
Bruss, Anna R.; Meyer, Albert R.
10
1980
The fundamental theorem of complexity theory (Preliminary version). Zbl 0409.68029
Meyer, A. R.; Winklmann, K.
2
1979
Separating nondeterministic time complexity classes. Zbl 0366.68038
Seiferas, Joel I.; Fischer, Michael J.; Meyer, Albert R.
42
1978
Coping with errors in binary search procedures (preliminary report). Zbl 1282.68095
Rivest, R. L.; Meyer, A. R.; Kleitman, D. J.
3
1978
On time-space classes and their relation to the theory of real addition. Zbl 1282.68109
Bruss, Anni R.; Meyer, Albert R.
1
1978
Exponential space complete problems for Petri nets and commutative semigroups: Preliminary report. Zbl 0374.20067
Cardoza, E.; Lipton, R.; Meyer, A. R.
27
1976
Relativization of the theory of computational complexity. Zbl 0353.68059
Lynch, Nancy Ann; Meyer, Albert R.; Fischer, Michael J.
8
1976
A note on the average time to compute transitive closures. Zbl 0363.68055
Bloniarz, P. A.; Fischer, M. J.; Meyer, A. R.
2
1976
Weak monadic second order theory of successor is not elementary- recursive. Zbl 0326.02036
Meyer, Albert R.
3
1975
Weak monadic second order theory is not elementary-recursive. Zbl 0362.02034
Meyer, Albert R.
2
1975
The inherent computational complexity of theories of ordered sets. Zbl 0361.02061
Meyer, Albert R.
2
1975
An improved overlap argument for on-line multiplication. Zbl 0301.68059
Paterson, Michael S.; Fischer, Michael J.; Meyer, Albert R.
8
1974
Honest bounds for complexity classes of recursive functions. Zbl 0322.02038
Moll, R.; Meyer, A. R.
4
1974
Word problems requiring exponential time: Preliminary report. Zbl 0359.68050
Stockmeyer, L. J.; Meyer, A. R.
256
1973
On orders of translations and enumerations. Zbl 0276.02022
Helm, John; Meyer, Albert; Young, Paul
2
1973
Program size in restricted programming languages. Zbl 0301.68019
Meyer, Albert R.
25
1972
Real-time simulation of multihead tape units. Zbl 0261.68027
Fischer, Patrick C.; Meyer, Albert R.; Rosenberg, Arnold L.
20
1972
Computational speed-up by effective operators. Zbl 0249.68018
Meyer, Albert R.; Fischer, Patrick C.
19
1972
A classification of the recursive functions. Zbl 0247.02037
Meyer, Albert R.; Ritchie, Dennis M.
16
1972
Program size and economy of descriptions: Preliminary report. Zbl 0354.68024
Meyer, A. R.; Bagchi, A.
2
1972
Time-restricted sequence generation. Zbl 0191.18301
Fischer, P. C.; Meyer, A. R.; Rosenberg, Arnold L.
6
1970
Classes of computable functions defined by bounds on computation. Preliminary report. Zbl 1283.03074
McCreight, E. M.; Meyer, A. R.
29
1969
A note on star-free events. Zbl 0224.94060
Meyer, Albert R.
16
1969
Remarks on algebraic decomposition of automata. Zbl 0175.00902
Meyer, A. R.; Thompson, C.
2
1969
Properties of bounds on computation. Zbl 0287.68026
Meyer, A. R.; McCreight, E. M.
1
1969
Sequential Boolean equations. Zbl 0201.01603
Even, Shimon; Meyer, Albert R.
1
1969
Counter machines and counter languages. Zbl 0165.32002
Fischer, P. C.; Meyer, A. R.; Rosenberg, A. L.
67
1968
all top 5

Cited by 1,292 Authors

22 Aceto, Luca
20 Ingólfsdóttir, Anna
12 Gregorio-Rodríguez, Carlos
12 Meyer, Albert Ronald
10 de Frutos-Escrig, David
10 Okhotin, Alexander
9 Pelc, Andrzej
8 Fokkink, Willem Jan
8 Klin, Bartek
8 Kozen, Dexter C.
8 van Glabbeek, Robert Jan
7 Case, John
7 Luttik, Bas
7 Mayr, Ernst W.
7 Rot, Jurriaan
7 Schmitz, Sylvain
7 Tini, Simone
7 Wagner, Klaus W.
6 Cicalese, Ferdinando
6 Glaßer, Christian
6 Greibach, Sheila A.
6 Grigor’ev, Dmitriĭ Yur’evich
6 Huynh, Dung T.
6 Ibarra, Oscar H.
6 Jeż, Artur
6 Lynch, Nancy Ann
6 Martens, Wim
6 Mitchell, John C.
6 Montanari, Ugo G.
6 Neven, Frank
6 Reniers, Michel Adriaan
6 Rosier, Louis E.
6 Salibra, Antonino
6 Seiferas, Joel I.
6 Ulidowski, Irek
5 Eiter, Thomas
5 Gebler, Daniel E.
5 Gottlob, Georg
5 Halpern, Joseph Yehuda
5 Hunt, Harry Bowen III
5 Jain, Sanjay
5 Ko, Ker-I
5 Kutrib, Martin
5 Leroux, Jérôme
5 Longo, Giuseppe
5 Masopust, Tomáš
5 McCullough, Jason
5 Peeva, Irena V.
5 Smolka, Scott A.
5 Stephan, Frank
5 Stockmeyer, Larry J.
5 Teutsch, Jason
5 van Emde Boas, Peter
4 Allender, Eric W.
4 Barbanera, Franco
4 Beigel, Richard
4 Bonchi, Filippo
4 Book, Ronald Vernon
4 Bruce, Kim B.
4 Castiglioni, Valentina
4 Cimini, Matteo
4 Davenport, James Harold
4 England, Matthew
4 Fábregas, Ignacio
4 Fernau, Henning
4 Finocchi, Irene
4 Fischer, Michael J.
4 Gasarch, William Ian
4 Gelade, Wouter
4 Hartmanis, Juris
4 Hashemi, Amir
4 Hemaspaandra, Lane A.
4 Holzer, Markus
4 Howell, Rodney R.
4 Italiano, Giuseppe Francesco
4 Jančar, Petr
4 Jones, Neil D.
4 Kleine Büning, Hans
4 Malcher, Andreas
4 Murano, Aniello
4 Niehren, Joachim
4 Pous, Damien
4 Reif, John H.
4 Seiler, Werner M.
4 Shan, Chung-chieh
4 Tiuryn, Jerzy
4 Vaccaro, Ugo
4 Yen, Hsuchun
3 Arvind, Vikraman
3 Biere, Armin
3 Bloom, Bard
3 Bonsangue, Marcello Maria
3 Boreale, Michele
3 Bouyer, Patricia
3 Bozzelli, Laura
3 Bruni, Roberto
3 Brzozowski, Janusz Antoni
3 Calude, Cristian S.
3 Cassez, Franck
3 Cheng, Allan
...and 1,192 more Authors
all top 5

Cited in 143 Serials

201 Theoretical Computer Science
97 Journal of Computer and System Sciences
70 Information and Computation
36 Mathematical Systems Theory
34 Information Processing Letters
26 Journal of Symbolic Computation
23 Acta Informatica
18 Annals of Pure and Applied Logic
18 Theory of Computing Systems
11 The Journal of Logic and Algebraic Programming
11 Logical Methods in Computer Science
10 Artificial Intelligence
10 MSCS. Mathematical Structures in Computer Science
9 The Journal of Symbolic Logic
9 Computational Complexity
8 Journal of Combinatorial Theory. Series A
7 Journal of Algebra
7 Journal of Pure and Applied Algebra
7 International Journal of Foundations of Computer Science
7 Journal of Logical and Algebraic Methods in Programming
6 Discrete Applied Mathematics
6 Information Sciences
6 Journal of Soviet Mathematics
6 RAIRO, Informatique Théorique
6 Annals of Mathematics and Artificial Intelligence
6 RAIRO. Theoretical Informatics and Applications
6 ACM Transactions on Computational Logic
5 Journal of Complexity
5 Formal Aspects of Computing
5 RAIRO. Informatique Théorique et Applications
5 Journal of Applied Non-Classical Logics
5 Journal of Mathematical Sciences (New York)
5 Mathematical Logic Quarterly (MLQ)
5 Journal of Functional Programming
4 Computing
4 Proceedings of the American Mathematical Society
4 Journal of Automated Reasoning
4 Applicable Algebra in Engineering, Communication and Computing
4 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Discrete Mathematics
3 Automatica
3 Mathematische Zeitschrift
3 SIAM Journal on Computing
3 Studia Logica
3 Transactions of the American Mathematical Society
3 Advances in Applied Mathematics
3 Algorithmica
3 Discrete Event Dynamic Systems
3 European Journal of Operational Research
3 Linear Algebra and its Applications
3 Archive for Mathematical Logic
3 Formal Methods in System Design
3 RAIRO. Theoretical Informatics and Applications
2 Archiv für Mathematische Logik und Grundlagenforschung
2 Communications in Algebra
2 Computers & Mathematics with Applications
2 Mathematics of Computation
2 Advances in Mathematics
2 Annales de l’Institut Fourier
2 International Journal of Game Theory
2 Cybernetics
2 Journal of Computer Science and Technology
2 Journal of the American Mathematical Society
2 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
2 Discrete Mathematics and Applications
2 Distributed Computing
2 Journal of Logic, Language and Information
2 The Bulletin of Symbolic Logic
2 Higher-Order and Symbolic Computation
2 Foundations of Computational Mathematics
2 Theory and Practice of Logic Programming
2 Natural Computing
2 Journal of Applied Logic
2 Mathematics in Computer Science
2 Journal of Commutative Algebra
2 The Review of Symbolic Logic
2 ACM Transactions on Computation Theory
2 Prikladnaya Diskretnaya Matematika
1 Advances in Applied Probability
1 International Journal of Control
1 International Journal of Theoretical Physics
1 Mathematical Notes
1 Problems of Information Transmission
1 Acta Mathematica
1 Algebra Universalis
1 The Annals of Statistics
1 Annales Scientifiques de l’École Normale Supérieure. Quatrième Série
1 Collectanea Mathematica
1 Compositio Mathematica
1 Duke Mathematical Journal
1 Inventiones Mathematicae
1 Journal of Philosophical Logic
1 Journal für die Reine und Angewandte Mathematik
1 Journal of Statistical Planning and Inference
1 Kybernetika
1 Manuscripta Mathematica
1 Mathematische Annalen
1 Mathematics and Computers in Simulation
1 Publications of the Research Institute for Mathematical Sciences, Kyoto University
1 Semigroup Forum
...and 43 more Serials

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.