×

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: 73 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 Linstead
1 Blackburn, Patrick
1 Bundy, Alan
1 Chaitin, Gregory John
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 Manes, Ernest G.
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

64 Publications have been cited 2,892 times in 2,716 Documents Cited by Year
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
655
2001
Topology via logic. Zbl 0668.54001
Vickers, Steven
189
1989
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
180
1990
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
178
1989
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
169
2000
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
123
1996
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
117
1994
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
107
1995
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
82
1995
Algorithmic information theory. Zbl 0655.68003
Chaitin, Gregory J.
67
1987
Domains and lambda-calculi. Zbl 0962.03001
Amadio, Roberto M.; Curien, Pierre-Louis
65
1998
Computational learning theory. An introduction. Zbl 0755.68115
Anthony, Martin; Biggs, Norman
61
1992
Nominal sets. Names and symmetry in computer science. Zbl 1297.68008
Pitts, Andrew M.
60
2013
Data refinement: Model-oriented proof methods and their comparison. Zbl 0955.68076
De Roever, Wilhelm-Paul; Engelhardt, Kai
57
1998
Information flow. The logic of distributed systems. Zbl 0927.03004
Barwise, Jon; Seligman, Jerry
54
1997
Terese. Term rewriting systems. Zbl 1030.68053
54
2003
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
45
1997
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
44
2001
Mathematical theory of domains. Zbl 0828.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
42
1994
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.
38
2010
Updating logical databases. Zbl 0728.68053
Winslett, Marianne
36
1990
Nonmonotonic reasoning: logical foundations of commonsense. Zbl 0723.68099
Brewka, Gerhard
35
1991
Extensions of first order logic. Zbl 0848.03001
Manzano, Maria
32
1996
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
31
1991
Introduction to coalgebra. Towards mathematics of states and observation. Zbl 1364.68001
Jacobs, Bart
29
2017
Rippling. Meta-level guidance for mathematical reasoning. Zbl 1095.68108
Bundy, Alan; Basin, David; Hutter, Dieter; Ireland, Andrew
29
2005
Propositional logic: deduction and algorithms. Transl. from the German. Zbl 0957.03001
Kleine Büning, Hans; Lettmann, Theodor
27
1999
The optimal implementation of functional programming languages. Zbl 1282.68005
Asperti, Andrea; Guerrini, Stefano
24
1998
Logic and computation. Interactive proof with Cambridge LCF. Zbl 0645.68041
Paulson, Lawrence C.
21
1987
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
20
2016
Belief revision. Zbl 0801.68151
19
1992
Metamathematics, machines, and Gödel’s proof. Zbl 0813.68150
Shankar, Natarajan
15
1994
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. Zbl 0765.68006
Carpenter, Bob
14
1992
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
13
1996
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
12
1992
The clausal theory of types. Zbl 0782.68007
Wolfram, D. A.
12
1993
Understanding Z. A specification language and its formal semantics. Zbl 0658.68005
Spivey, J. M.
11
1988
Predicate transformer semantics. Zbl 0784.68003
Manes, Ernest G.
11
1993
Higher order logic and hardware verification. Zbl 0819.68015
Melham, T.
10
1993
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
8
2012
Formal methods in artificial intelligence. Zbl 0691.68089
Ramsay, Allan
7
1988
Mathematics for computer graphics. Zbl 0777.68010
Hoggar, S. G.
7
1992
Applications of process algebra. Zbl 0716.68001
6
1990
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
4
1990
Algebraic specification of communication protocols. Zbl 0820.68078
4
1993
Data refinement: Model-oriented proof methods and their comparison. Reprint of the 1998 hardback ed. Zbl 1152.68031
De Roever, Wilhelm-Paul; Engelhardt, Kai
4
2009
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
Hybrid graph theory and network analysis. Zbl 0941.68094
Novak, Ladislav; Gibbons, Alan
3
1998
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
3
2008
Formal methods in circuit design. Zbl 0899.68009
Stavridou, Victoria
3
1993
Understanding Z. A specification language and its formal semantics. Reprint of the 1988 hardback edition. Zbl 1147.68567
Spivey, J. M.
2
2008
Hybrid graph theory and network analysis. Reprint of the 1999 hardback ed. Zbl 1183.68434
Novak, Ladislav; Gibbons, Alan
2
2009
Finite-state techniques. Automata, transducers and bimachines. Zbl 1465.68006
Mihov, Stoyan; Schulz, Klaus U.
2
2019
Formal specification and design. Zbl 0774.68082
Feijs, L. M. G.; Jonkers, H. B. M.
2
1992
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. 1st paperback ed. Zbl 1095.68573
Carpenter, Bob
1
2005
Nonmonotonic reasoning: logical foundations of commonsense. Reprint of the 1991 hardback ed. Zbl 1228.68004
Brewka, Gerhard
1
2011
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
Derivation and computation. Taking the Curry-Howard correspondence seriously. Zbl 0954.03001
Simmons, Harold
1
2000
Finite-state techniques. Automata, transducers and bimachines. Zbl 1465.68006
Mihov, Stoyan; Schulz, Klaus U.
2
2019
Introduction to coalgebra. Towards mathematics of states and observation. Zbl 1364.68001
Jacobs, Bart
29
2017
Temporal logics in computer science. Finite-state systems. Zbl 1380.68003
Demri, Stéphane; Goranko, Valentin; Lange, Martin
20
2016
Nominal sets. Names and symmetry in computer science. Zbl 1297.68008
Pitts, Andrew M.
60
2013
Advanced topics in bisimulation and coinduction. Zbl 1264.68009
8
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.
38
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
4
2009
Hybrid graph theory and network analysis. Reprint of the 1999 hardback ed. Zbl 1183.68434
Novak, Ladislav; Gibbons, Alan
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
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
Basic simple type theory. Paperback reprint with corrections. Zbl 1135.03006
Hindley, J. Roger
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
29
2005
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. 1st paperback ed. Zbl 1095.68573
Carpenter, Bob
1
2005
Terese. Term rewriting systems. Zbl 1030.68053
54
2003
Modal logic. Zbl 0988.03006
Blackburn, Patrick; de Rijke, Maarten; Venema, Yde
655
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
44
2001
Basic proof theory. 2nd ed. Zbl 0957.03053
Troelstra, A. S.; Schwichtenberg, H.
169
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
27
1999
Domains and lambda-calculi. Zbl 0962.03001
Amadio, Roberto M.; Curien, Pierre-Louis
65
1998
Data refinement: Model-oriented proof methods and their comparison. Zbl 0955.68076
De Roever, Wilhelm-Paul; Engelhardt, Kai
57
1998
The optimal implementation of functional programming languages. Zbl 1282.68005
Asperti, Andrea; Guerrini, Stefano
24
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
54
1997
Basic simple type theory. Zbl 0906.03012
Hindley, J. Roger
45
1997
Basic proof theory. Zbl 0868.03024
Troelstra, A. S.; Schwichtenberg, H.
123
1996
Extensions of first order logic. Zbl 0848.03001
Manzano, Maria
32
1996
Topology via logic. Paperback ed. Zbl 0922.54002
Vickers, Steven
13
1996
Epistemic logic for AI and computer science. Zbl 0868.03001
Meyer, John-Jules Ch.; van der Hoek, Wiebe
107
1995
Free choice Petri nets. Zbl 0836.68074
Desel, Jörg; Esparza, Javier
82
1995
The uncertain reasoner’s companion. A mathematical perspective. Zbl 0838.68104
Paris, J. B.
117
1994
Mathematical theory of domains. Zbl 0828.06001
Stoltenberg-Hansen, Viggo; Lindström, Ingrid; Griffor, Edward R.
42
1994
Metamathematics, machines, and Gödel’s proof. Zbl 0813.68150
Shankar, Natarajan
15
1994
The clausal theory of types. Zbl 0782.68007
Wolfram, D. A.
12
1993
Predicate transformer semantics. Zbl 0784.68003
Manes, Ernest G.
11
1993
Higher order logic and hardware verification. Zbl 0819.68015
Melham, T.
10
1993
Algebraic specification of communication protocols. Zbl 0820.68078
4
1993
Formal methods in circuit design. Zbl 0899.68009
Stavridou, Victoria
3
1993
Computational learning theory. An introduction. Zbl 0755.68115
Anthony, Martin; Biggs, Norman
61
1992
Belief revision. Zbl 0801.68151
19
1992
The logic of typed feature structures. With applications to unification grammars, logic programs and constraint resolution. Zbl 0765.68006
Carpenter, Bob
14
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
12
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
35
1991
Nets, terms and formulas. Three views of concurrent processes and their relationship. Zbl 0741.68002
Olderog, E.-R.
31
1991
Process algebra. Zbl 0716.68002
Baeten, J. C. M.; Weijland, W. P.
180
1990
Updating logical databases. Zbl 0728.68053
Winslett, Marianne
36
1990
Applications of process algebra. Zbl 0716.68001
6
1990
Theoretical foundations of VLSI design. Zbl 0802.68069
4
1990
Topology via logic. Zbl 0668.54001
Vickers, Steven
189
1989
Proofs and types. Zbl 0671.68002
Girard, Jean-Yves; Taylor, Paul; Lafont, Yves
178
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.
67
1987
Logic and computation. Interactive proof with Cambridge LCF. Zbl 0645.68041
Paulson, Lawrence C.
21
1987
all top 5

Cited by 2,966 Authors

24 van Ditmarsch, Hans Pieter
23 Aceto, Luca
22 Bergstra, Jan A.
20 Paris, Jeffrey Bruce
19 Bezhanishvili, Nick
18 Ingólfsdóttir, Anna
18 Solovyov, Sergey A.
18 van der Hoek, Wiebe
17 Bezhanishvili, Guram
16 Ågotnes, Thomas
14 van Benthem, Johan F. A. K.
13 Areces, Carlos
13 Baeten, Jos C. M.
13 Balbiani, Philippe
13 Fokkink, Willem Jan
13 Herzig, Andreas
13 Middelburg, Cornelis A.
13 Smets, Sonja J. L.
13 Venema, Yde
12 Anthony, Martin H. G.
12 Baltag, Alexandru
12 Derrick, John
12 Fernández, Maribel
12 Gorrieri, Roberto
12 Pattinson, Dirk
11 Dal Lago, Ugo
11 Iemhoff, Rosalie
11 Landes, Jürgen
11 Lorini, Emiliano
11 Ponse, Alban
11 Schröder, Lutz
11 Vencovská, Alena
10 Calude, Cristian S.
10 Luttik, Bas
10 Negri, Sara
10 Sano, Katsuhiko
10 Schellhorn, Gerhard
10 Wang, Yanjing
10 Wooldridge, Michael J.
9 Benevides, Mario R. F.
9 Best, Eike
9 Demri, Stéphane P.
9 Groote, Jan Friso
9 Kucera, Antonin
9 Ma, Minghui
9 Reniers, Michel Adriaan
9 Rodabaugh, Stephen Ernest
9 Smolka, Gert
9 Studer, Thomas
9 van der Aalst, Wil M. P.
8 Ayala-Rincón, Mauricio
8 Banaschewski, Bernhard
8 Bickel, David R.
8 Dyckhoff, Roy
8 Flaminio, Tommaso
8 Francez, Nissim
8 Grossi, Davide
8 Holliday, Wesley H.
8 Hötzel Escardó, Martín
8 Kou, Hui
8 Milius, Stefan
8 Nour, Karim
8 Pultr, Aleš
8 Rot, Jurriaan
8 van Glabbeek, Robert Jan
8 Vickers, Steven
8 Wehrheim, Heike
7 Abramsky, Samson
7 Belardinelli, Francesco
7 Boiten, Eerke A.
7 Boros, Endre
7 Eiter, Thomas
7 Ferreira, Fernando
7 Frith, John L.
7 Gehrke, Mai
7 Girard, Patrick R.
7 Hesselink, Wim H.
7 Ibaraki, Toshihide
7 Kern-Isberner, Gabriele
7 Kesner, Delia
7 Khan, Md. Aquil
7 Kooi, Barteld Pieter
7 Lucero-Bryan, Joel Gregory
7 Makino, Kazuhisa
7 Manzano, María
7 Martins, Manuel António
7 Meseguer Guaita, José
7 Poggiolesi, Francesca
7 Pym, David J.
7 Sangiorgi, Davide
7 Schauerte, Anneliese
7 Skowron, Andrzej
7 Tadaki, Kohtaro
7 Velázquez-Quesada, Fernando Raymundo
7 Wansing, Heinrich Theodor
7 Wißmann, Thorsten
6 Andova, Suzana
6 Banach, Richard
6 Barbosa, Luís Soares
6 Beierle, Christoph
...and 2,866 more Authors
all top 5

Cited in 231 Journals

241 Theoretical Computer Science
112 Studia Logica
92 Information and Computation
87 Annals of Pure and Applied Logic
76 Journal of Philosophical Logic
76 Synthese
64 Artificial Intelligence
61 MSCS. Mathematical Structures in Computer Science
61 Journal of Applied Logic
60 Formal Aspects of Computing
54 Journal of Automated Reasoning
50 Journal of Logic, Language and Information
50 The Review of Symbolic Logic
48 Logical Methods in Computer Science
45 International Journal of Approximate Reasoning
38 The Journal of Logic and Algebraic Programming
37 The Journal of Symbolic Logic
37 Journal of Logical and Algebraic Methods in Programming
35 Fuzzy Sets and Systems
33 Journal of Applied Non-Classical Logics
32 Information Processing Letters
32 Annals of Mathematics and Artificial Intelligence
31 Notre Dame Journal of Formal Logic
31 Archive for Mathematical Logic
25 Journal of Computer and System Sciences
23 Acta Informatica
21 Logica Universalis
18 Journal of Functional Programming
16 Topology and its Applications
15 Information Sciences
15 The Bulletin of Symbolic Logic
15 Erkenntnis
14 Discrete Applied Mathematics
14 ACM Transactions on Computational Logic
13 Journal of Pure and Applied Algebra
13 Science of Computer Programming
12 Theory of Computing Systems
11 Algebra Universalis
11 Applied Categorical Structures
11 Logic and Logical Philosophy
10 Soft Computing
9 Fundamenta Informaticae
8 Journal of Symbolic Computation
8 International Journal of Intelligent Systems
7 Bulletin of the Section of Logic
7 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
7 Discrete Event Dynamic Systems
7 Formal Methods in System Design
7 RAIRO. Theoretical Informatics and Applications
6 International Journal of Theoretical Physics
6 Journal of Computer Science and Technology
6 Mathematical Logic Quarterly (MLQ)
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 Theory and Practice of Logic Programming
5 Entropy
4 Discrete Mathematics
4 Quaestiones Mathematicae
4 Transactions of the American Mathematical Society
4 Physica D
4 Machine Learning
4 International Journal of Foundations of Computer Science
4 The Journal of Artificial Intelligence Research (JAIR)
4 Higher-Order and Symbolic Computation
4 Natural Computing
3 Advances in Mathematics
3 Kybernetika
3 History and Philosophy of Logic
3 Acta Applicandae Mathematicae
3 Communications in Statistics. Theory and Methods
3 Indagationes Mathematicae. New Series
3 Applicable Algebra in Engineering, Communication and Computing
3 LMS Journal of Computation and Mathematics
3 Foundations of Physics
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 The Annals of Statistics
2 Applied Mathematics and Computation
2 Automatica
2 BIT
2 International Statistical Review
2 Journal of Algebra
2 Journal of Mathematical Economics
2 Journal of Statistical Planning and Inference
2 Acta Mathematica Hungarica
2 Mathematical and Computer Modelling
2 Games and Economic Behavior
2 Computational Statistics
2 International Journal of Computer Mathematics
2 Pattern Recognition
2 Bulletin of the American Mathematical Society. New Series
...and 131 more Journals
all top 5

Cited in 47 Fields

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

Citations by Year