×

zbMATH — the first resource for mathematics

Cambridge Tracts in Theoretical Computer Science

Short Title: Camb. Tracts Theor. Comput. Sci.
Publisher: Cambridge University Press, Cambridge
ISSN: 0965-9103
Online: http://ebooks.cambridge.org/series_landing.jsf?seriesCode=CTTC&seriesTitle=Cambridge+Tracts+in+Theoretical+Computer+Science&productCode=cbo&publisherCode=cup&sort=series_number
Comments: Book series
Documents Indexed: 72 Publications (since 1987)
all top 5

Authors / Editors

4 de Roever, Willem-Paul
3 Baeten, Jos C. M.
2 Amadio, Roberto M.
2 Barwise, Kenneth Jon
2 Brewka, Gerhard
2 Carpenter, Bob
2 Curien, Pierre-Louis
2 de Boer, Frank S.
2 Engelhardt, Kai
2 Gibbons, Alan M.
2 Griffor, Edward R.
2 Hannemann, Ulrich
2 Hindley, J. Roger
2 Hooman, Jozef Johannes Maria
2 Lakhnech, Yassine
2 Lindström, Ingrid
2 Mauw, Sjouke
2 Novak, Ladislav A.
2 Poel, Mannes
2 Ramsay, Allan
2 Révész, György E.
2 Schwichtenberg, Helmut
2 Seligman, Jerry
2 Spivey, J. Michael
2 Stoltenberg-Hansen, Viggo
2 Troelstra, Anne Sjerp
2 Tse, T. H.
2 Veltink, Gerrit Jan
2 Vickers, Steven
2 Wolfram, David A.
2 Zwiers, Job
1 Anthony, Martin H. G.
1 Asperti, Andrea
1 Basin, David A.
1 Basten, Twan
1 Bezem, Marc
1 Biggs, Norman L.
1 Blackburn, Patrick
1 Bundy, Alan
1 Chaitin, Gregory J.
1 Clifford, James
1 Dasgupta, Subrata
1 de Rijke, Maarten
1 de Vrijer, Roel
1 Demri, Stéphane P.
1 Desel, Jörg
1 Esparza, Javier
1 Feijs, Loe M. G.
1 Gärdenfors, Peter
1 Girard, Jean-Yves
1 Goranko, Valentin F.
1 Guerrini, Stefano
1 Hesselink, Wim H.
1 Hoggar, Stuart G.
1 Hutter, Dieter
1 Ireland, Andrew
1 Jacobs, Bart
1 Jonkers, Hans B. M.
1 Kleine Büning, Hans
1 Klop, Jan Willem
1 Lafont, Yves
1 Lange, Martin
1 Lettmann, Theodor
1 Manzano, María
1 McEvoy, Kevin
1 Melham, Thomas F.
1 Meyer, John-Jules Charles
1 Mihov, Stoyan
1 Mosses, Peter D.
1 Nielson, Flemming
1 Olderog, Ernst-Rüdiger
1 Padawitz, Peter
1 Paris, Jeffrey Bruce
1 Paulson, Lawrence Charles
1 Pitts, Andrew M.
1 Reniers, Michel Adriaan
1 Riis Nielson, Hanne
1 Rutten, Jan J. M. M.
1 Sangiorgi, Davide
1 Schulz, Klaus U.
1 Shankar, Natarajan
1 Simmons, Harold
1 Stavridou, Victoria
1 Tucker, John V.
1 van der Hoek, Wiebe
1 Venema, Yde
1 Weijland, W. Peter
1 Winslett, Marianne

Publications by Year

Citations contained in zbMATH Open

60 Publications have been cited 2,544 times in 2,397 Documents Cited by Year
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
574
2001
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
176
1990
Topology via logic. Zbl 0668.54001
Vickers, Steven
169
1989
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
151
1989
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
138
2000
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
113
1994
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
106
1996
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
88
1995
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
67
1995
Algorithmic information theory. Zbl 0655.68003
Chaitin, Gregory J.
65
1987
Computational learning theory. An introduction. Zbl 0755.68115
Anthony, Martin; Biggs, Norman
61
1992
Domains and lambda-calculi. Zbl 0962.03001
Amadio, Roberto M.; Curien, Pierre-Louis
61
1998
Data refinement: Model-oriented proof methods and their comparison. Zbl 0955.68076
De Roever, Wilhelm-Paul; Engelhardt, Kai
54
1998
Information flow. The logic of distributed systems. Zbl 0927.03004
Barwise, Jon; Seligman, Jerry
51
1997
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc (ed.); Klop, Jan Willem (ed.); de Vrijer, Roel (ed.)
47
2003
Nominal sets. Names and symmetry in computer science. Zbl 1297.68008
Pitts, Andrew M.
44
2013
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
42
1997
Mathematical theory of domains. Zbl 0828.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
41
1994
Concurrency verification. Introduction to compositional and noncompositional methods. Zbl 1009.68020
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
41
2001
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
34
2010
Updating logical databases. Zbl 0728.68053
Winslett, Marianne
32
1990
Nonmonotonic reasoning: logical foundations of commonsense. Zbl 0723.68099
Brewka, Gerhard
31
1991
Extensions of first order logic. Zbl 0848.03001
Manzano, Maria
30
1996
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
27
1991
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Propositional logic: deduction and algorithms. Transl. from the German. Zbl 0957.03001
Kleine Büning, Hans; Lettmann, Theodor
26
1999
The optimal implementation of functional programming languages. Zbl 1282.68005
Asperti, Andrea; Guerrini, Stefano
22
1998
Logic and computation. Interactive proof with Cambridge LCF. Zbl 0645.68041
Paulson, Lawrence C.
21
1987
Belief revision. Zbl 0801.68151
Gärdenfors, Peter (ed.)
16
1992
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. Zbl 0765.68006
Carpenter, Bob
13
1992
Introduction to coalgebra. Towards mathematics of states and observation. Zbl 1364.68001
Jacobs, Bart
13
2017
Metamathematics, machines, and Gödel’s proof. Zbl 0813.68150
Shankar, Natarajan
13
1994
Action semantics. Zbl 0875.68618
Mosses, Peter D.
12
1992
Programs, recursion and unbounded choice. Predicate-transformation semantics and transformation rules. Zbl 0759.68057
Hesselink, Wim H.
12
1992
Two-level functional languages. Zbl 0763.68023
Nielson, Flemming; Nielson, Hanne Riis
11
1992
Understanding Z. A specification language and its formal semantics. Zbl 0658.68005
Spivey, J. M.
11
1988
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
11
1996
The clausal theory of types. Zbl 0782.68007
Wolfram, D. A.
10
1993
Higher order logic and hardware verification. Zbl 0819.68015
Melham, T.
10
1993
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
8
2016
Mathematics for computer graphics. Zbl 0777.68010
Hoggar, S. G.
7
1992
Formal methods in artificial intelligence. Zbl 0691.68089
Ramsay, Allan
7
1988
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
Sangiorgi, Davide (ed.); Rutten, Jan (ed.)
6
2012
Deduction and declarative programming. Zbl 0757.68077
Padawitz, Peter
5
1992
Lambda-calculus, combinators, and functional programming. Zbl 0658.68006
Revesz, G. E.
5
1988
Domains and lambda-calculi. Paperback reprint. Zbl 1138.03300
Amadio, Roberto M.; Curien, Pierre-Louis
5
2008
Theoretical foundations of VLSI design. Zbl 0802.68069
McEvoy, K. (ed.); Tucker, J. V. (ed.)
4
1990
Applications of process algebra. Zbl 0716.68001
Baeten, J. C. M. (ed.)
3
1990
Hybrid graph theory and network analysis. Zbl 0941.68094
Novak, Ladislav; Gibbons, Alan
3
1998
Formal methods in circuit design. Zbl 0899.68009
Stavridou, Victoria
3
1993
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
3
2008
Mathematical theory of domains. Paperback reprint of the hardback edition 1994. Zbl 1139.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
3
2008
Formal specification and design. Zbl 0774.68082
Feijs, L. M. G.; Jonkers, H. B. M.
2
1992
Algebraic specification of communication protocols. Zbl 0820.68078
Mauw, S. (ed.); Veltink, G. J. (ed.)
2
1993
Understanding Z. A specification language and its formal semantics. Reprint of the 1988 hardback edition. Zbl 1147.68567
Spivey, J. M.
2
2008
Data refinement: Model-oriented proof methods and their comparison. Reprint of the 1998 hardback ed. Zbl 1152.68031
De Roever, Wilhelm-Paul; Engelhardt, Kai
2
2009
Nonmonotonic reasoning: logical foundations of commonsense. Reprint of the 1991 hardback ed. Zbl 1228.68004
Brewka, Gerhard
1
2011
Derivation and computation. Taking the Curry-Howard correspondence seriously. Zbl 0954.03001
Simmons, Harold
1
2000
Lambda-calculus, combinators, and functional programming. Reprint of the 1988 hardback ed. Zbl 1167.68015
Revesz, G. E.
1
2009
Higher order logic and hardware verification. Reprint of the 1993 hardback ed. Zbl 1183.68127
Melham, T. F.
1
2009
Introduction to coalgebra. Towards mathematics of states and observation. Zbl 1364.68001
Jacobs, Bart
13
2017
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
8
2016
Nominal sets. Names and symmetry in computer science. Zbl 1297.68008
Pitts, Andrew M.
44
2013
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
Sangiorgi, Davide; Rutten, Jan
6
2012
Nonmonotonic reasoning: logical foundations of commonsense. Reprint of the 1991 hardback ed. Zbl 1228.68004
Brewka, Gerhard
1
2011
Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra. Zbl 1234.68001
Baeten, J. C. M.; Basten, T.; Reniers, M. A.
34
2010
Data refinement: Model-oriented proof methods and their comparison. Reprint of the 1998 hardback ed. Zbl 1152.68031
De Roever, Wilhelm-Paul; Engelhardt, Kai
2
2009
Lambda-calculus, combinators, and functional programming. Reprint of the 1988 hardback ed. Zbl 1167.68015
Revesz, G. E.
1
2009
Higher order logic and hardware verification. Reprint of the 1993 hardback ed. Zbl 1183.68127
Melham, T. F.
1
2009
Domains and lambda-calculi. Paperback reprint. Zbl 1138.03300
Amadio, Roberto M.; Curien, Pierre-Louis
5
2008
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
3
2008
Mathematical theory of domains. Paperback reprint of the hardback edition 1994. Zbl 1139.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
3
2008
Understanding Z. A specification language and its formal semantics. Reprint of the 1988 hardback edition. Zbl 1147.68567
Spivey, J. M.
2
2008
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
26
2005
Terese. Term rewriting systems. Zbl 1030.68053
Bezem, Marc; Klop, Jan Willem; de Vrijer, Roel
47
2003
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
574
2001
Concurrency verification. Introduction to compositional and noncompositional methods. Zbl 1009.68020
de Roever, Willem-Paul; de Boer, Frank; Hannemann, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
41
2001
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
138
2000
Derivation and computation. Taking the Curry-Howard correspondence seriously. Zbl 0954.03001
Simmons, Harold
1
2000
Propositional logic: deduction and algorithms. Transl. from the German. Zbl 0957.03001
Kleine Büning, Hans; Lettmann, Theodor
26
1999
Domains and lambda-calculi. Zbl 0962.03001
Amadio, Roberto M.; Curien, Pierre-Louis
61
1998
Data refinement: Model-oriented proof methods and their comparison. Zbl 0955.68076
De Roever, Wilhelm-Paul; Engelhardt, Kai
54
1998
The optimal implementation of functional programming languages. Zbl 1282.68005
Asperti, Andrea; Guerrini, Stefano
22
1998
Hybrid graph theory and network analysis. Zbl 0941.68094
Novak, Ladislav; Gibbons, Alan
3
1998
Information flow. The logic of distributed systems. Zbl 0927.03004
Barwise, Jon; Seligman, Jerry
51
1997
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
42
1997
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
106
1996
Extensions of first order logic. Zbl 0848.03001
Manzano, Maria
30
1996
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
11
1996
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
88
1995
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
67
1995
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
113
1994
Mathematical theory of domains. Zbl 0828.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
41
1994
Metamathematics, machines, and Gödel’s proof. Zbl 0813.68150
Shankar, Natarajan
13
1994
The clausal theory of types. Zbl 0782.68007
Wolfram, D. A.
10
1993
Higher order logic and hardware verification. Zbl 0819.68015
Melham, T.
10
1993
Formal methods in circuit design. Zbl 0899.68009
Stavridou, Victoria
3
1993
Algebraic specification of communication protocols. Zbl 0820.68078
Mauw, S.; Veltink, G. J.
2
1993
Computational learning theory. An introduction. Zbl 0755.68115
Anthony, Martin; Biggs, Norman
61
1992
Belief revision. Zbl 0801.68151
Gärdenfors, Peter
16
1992
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. Zbl 0765.68006
Carpenter, Bob
13
1992
Action semantics. Zbl 0875.68618
Mosses, Peter D.
12
1992
Programs, recursion and unbounded choice. Predicate-transformation semantics and transformation rules. Zbl 0759.68057
Hesselink, Wim H.
12
1992
Two-level functional languages. Zbl 0763.68023
Nielson, Flemming; Nielson, Hanne Riis
11
1992
Mathematics for computer graphics. Zbl 0777.68010
Hoggar, S. G.
7
1992
Deduction and declarative programming. Zbl 0757.68077
Padawitz, Peter
5
1992
Formal specification and design. Zbl 0774.68082
Feijs, L. M. G.; Jonkers, H. B. M.
2
1992
Nonmonotonic reasoning: logical foundations of commonsense. Zbl 0723.68099
Brewka, Gerhard
31
1991
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
27
1991
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
176
1990
Updating logical databases. Zbl 0728.68053
Winslett, Marianne
32
1990
Theoretical foundations of VLSI design. Zbl 0802.68069
McEvoy, K.; Tucker, J. V.
4
1990
Applications of process algebra. Zbl 0716.68001
Baeten, J. C. M.
3
1990
Topology via logic. Zbl 0668.54001
Vickers, Steven
169
1989
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
151
1989
Understanding Z. A specification language and its formal semantics. Zbl 0658.68005
Spivey, J. M.
11
1988
Formal methods in artificial intelligence. Zbl 0691.68089
Ramsay, Allan
7
1988
Lambda-calculus, combinators, and functional programming. Zbl 0658.68006
Revesz, G. E.
5
1988
Algorithmic information theory. Zbl 0655.68003
Chaitin, Gregory J.
65
1987
Logic and computation. Interactive proof with Cambridge LCF. Zbl 0645.68041
Paulson, Lawrence C.
21
1987
all top 5

Cited by 2,699 Authors

22 Aceto, Luca
21 Bergstra, Jan A.
21 van Ditmarsch, Hans Pieter
20 Paris, Jeffrey Bruce
18 Solovyov, Sergey A.
17 Ingólfsdóttir, Anna
16 van der Hoek, Wiebe
15 Bezhanishvili, Nick
13 Baeten, Jos C. M.
13 Fokkink, Willem Jan
12 Anthony, Martin H. G.
12 Areces, Carlos
12 Balbiani, Philippe
12 Bezhanishvili, Guram
12 Herzig, Andreas
12 Middelburg, Cornelis A.
12 Venema, Yde
11 Ågotnes, Thomas
11 Derrick, John
11 Pattinson, Dirk
11 Ponse, Alban
11 Schröder, Lutz
11 van Benthem, Johan F. A. K.
11 Vencovská, Alena
10 Calude, Cristian S.
10 Iemhoff, Rosalie
10 Landes, Jürgen
10 Luttik, Bas
10 Smets, Sonja J. L.
9 Baltag, Alexandru
9 Benevides, Mario R. F.
9 Dal Lago, Ugo
9 Kucera, Antonin
9 Lorini, Emiliano
9 Negri, Sara
9 Reniers, Michel Adriaan
9 Rodabaugh, Stephen Ernest
9 Sano, Katsuhiko
9 Smolka, Gert
9 Wooldridge, Michael J.
8 Banaschewski, Bernhard
8 Best, Eike
8 Dyckhoff, Roy
8 Fernández, Maribel
8 Flaminio, Tommaso
8 Gorrieri, Roberto
8 Groote, Jan Friso
8 Hötzel Escardó, Martín
8 Nour, Karim
8 Pultr, Aleš
8 Schellhorn, Gerhard
8 Studer, Thomas
8 Vickers, Steven
7 Bickel, David R.
7 Boiten, Eerke A.
7 Boros, Endre
7 Ferreira, Fernando
7 Francez, Nissim
7 Frith, John L.
7 Gehrke, Mai
7 Grossi, Davide
7 Hesselink, Wim H.
7 Ibaraki, Toshihide
7 Kern-Isberner, Gabriele
7 Kooi, Barteld Pieter
7 Kou, Hui
7 Makino, Kazuhisa
7 Manzano, María
7 Martins, Manuel António
7 Meseguer Guaita, José
7 Milius, Stefan
7 Schauerte, Anneliese
7 Tadaki, Kohtaro
7 van Glabbeek, Robert Jan
7 Wansing, Heinrich Theodor
6 Abramsky, Samson
6 Andova, Suzana
6 Banach, Richard
6 Barbosa, Luís Soares
6 Beierle, Christoph
6 Blackburn, Patrick
6 Blanck, Jens
6 Bonanno, Giacomo
6 Demri, Stéphane P.
6 Dubois, Didier
6 Eiter, Thomas
6 Elbassioni, Khaled M.
6 Floridi, Luciano
6 Galmiche, Didier
6 Gregorio-Rodríguez, Carlos
6 Heinemann, Bernhard
6 Hetzl, Stefan
6 Hodkinson, Ian Martin
6 Holliday, Wesley H.
6 Jiao, Li
6 Jung, Achim
6 Kesner, Delia
6 Komendantskaya, Ekaterina
6 Liau, Churn-Jung
6 Lucero-Bryan, Joel Gregory
...and 2,599 more Authors
all top 5

Cited in 217 Journals

227 Theoretical Computer Science
102 Studia Logica
88 Information and Computation
81 Annals of Pure and Applied Logic
73 Synthese
71 Journal of Philosophical Logic
61 Journal of Applied Logic
60 Formal Aspects of Computing
57 MSCS. Mathematical Structures in Computer Science
56 Artificial Intelligence
49 Journal of Automated Reasoning
43 Journal of Logic, Language and Information
41 International Journal of Approximate Reasoning
38 The Journal of Logic and Algebraic Programming
37 The Journal of Symbolic Logic
36 The Review of Symbolic Logic
35 Fuzzy Sets and Systems
33 Annals of Mathematics and Artificial Intelligence
33 Journal of Logical and Algebraic Methods in Programming
32 Information Processing Letters
30 Notre Dame Journal of Formal Logic
30 Journal of Applied Non-Classical Logics
27 Archive for Mathematical Logic
26 Logical Methods in Computer Science
25 Journal of Computer and System Sciences
21 Acta Informatica
19 Logica Universalis
16 Topology and its Applications
15 Information Sciences
15 Journal of Functional Programming
14 Discrete Applied Mathematics
14 Erkenntnis
14 ACM Transactions on Computational Logic
13 Science of Computer Programming
12 Journal of Pure and Applied Algebra
12 The Bulletin of Symbolic Logic
12 Theory of Computing Systems
11 Applied Categorical Structures
10 Soft Computing
9 Algebra Universalis
8 International Journal of Intelligent Systems
7 Bulletin of the Section of Logic
7 Journal of Symbolic Computation
7 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
7 Discrete Event Dynamic Systems
7 RAIRO. Theoretical Informatics and Applications
6 International Journal of Theoretical Physics
6 Journal of Computer Science and Technology
6 Formal Methods in System Design
6 Mathematical Logic Quarterly (MLQ)
6 Logic and Logical Philosophy
5 Chaos, Solitons and Fractals
5 Cahiers de Topologie et Géométrie Différentielle Catégoriques
5 Order
5 Distributed Computing
5 RAIRO. Informatique Théorique et Applications
5 Journal of Mathematical Sciences (New York)
5 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
5 Entropy
4 Discrete Mathematics
4 Quaestiones Mathematicae
4 Transactions of the American Mathematical Society
4 Physica D
4 International Journal of Foundations of Computer Science
4 Higher-Order and Symbolic Computation
4 Theory and Practice of Logic Programming
4 Natural Computing
3 Kybernetika
3 History and Philosophy of Logic
3 Acta Applicandae Mathematicae
3 Machine Learning
3 Indagationes Mathematicae. New Series
3 Applicable Algebra in Engineering, Communication and Computing
3 LMS Journal of Computation and Mathematics
3 Fundamenta Informaticae
3 Nonlinear Analysis. Hybrid Systems
2 Computers & Mathematics with Applications
2 International Journal of Systems Science
2 Journal of Mathematical Physics
2 Mathematical Notes
2 Problems of Information Transmission
2 Advances in Mathematics
2 The Annals of Statistics
2 BIT
2 International Statistical Review
2 Journal of Mathematical Economics
2 Journal of Statistical Planning and Inference
2 Acta Mathematica Hungarica
2 Mathematical and Computer Modelling
2 Computational Statistics
2 Communications in Statistics. Theory and Methods
2 International Journal of Computer Mathematics
2 Pattern Recognition
2 Bulletin of the American Mathematical Society. New Series
2 Combinatorics, Probability and Computing
2 Economic Theory
2 The Journal of Artificial Intelligence Research (JAIR)
2 Theory and Applications of Categories
2 Computational & Mathematical Organization Theory
2 Mathematical Problems in Engineering
...and 117 more Journals
all top 5

Cited in 45 Fields

1,403 Computer science (68-XX)
1,332 Mathematical logic and foundations (03-XX)
178 Order, lattices, ordered algebraic structures (06-XX)
108 General topology (54-XX)
107 Category theory; homological algebra (18-XX)
69 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
46 Information and communication theory, circuits (94-XX)
33 Statistics (62-XX)
32 Probability theory and stochastic processes (60-XX)
31 Combinatorics (05-XX)
26 Quantum theory (81-XX)
24 History and biography (01-XX)
22 Systems theory; control (93-XX)
20 General algebraic systems (08-XX)
18 General and overarching topics; collections (00-XX)
17 Biology and other natural sciences (92-XX)
16 Operations research, mathematical programming (90-XX)
10 Group theory and generalizations (20-XX)
9 Associative rings and algebras (16-XX)
8 Dynamical systems and ergodic theory (37-XX)
7 Number theory (11-XX)
6 Measure and integration (28-XX)
6 Functional analysis (46-XX)
6 Numerical analysis (65-XX)
5 Commutative algebra (13-XX)
5 Operator theory (47-XX)
5 Algebraic topology (55-XX)
5 Statistical mechanics, structure of matter (82-XX)
4 Nonassociative rings and algebras (17-XX)
3 Topological groups, Lie groups (22-XX)
3 Geometry (51-XX)
3 Convex and discrete geometry (52-XX)
3 Relativity and gravitational theory (83-XX)
2 Real functions (26-XX)
2 Mechanics of particles and systems (70-XX)
2 Fluid mechanics (76-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Special functions (33-XX)
1 Ordinary differential equations (34-XX)
1 Approximations and expansions (41-XX)
1 Manifolds and cell complexes (57-XX)
1 Optics, electromagnetic theory (78-XX)
1 Geophysics (86-XX)

Citations by Year