Edit Profile (opens in new tab) Kanovich, Max Iosifovich Co-Author Distance Author ID: kanovich.max-i Published as: Kanovich, Max; Kanovich, M. I.; Kanovic, M. I.; Kanovich, Max I.; Kanovic, Max I. more...less Homepage: http://www.eecs.qmul.ac.uk/~mik/ External Links: MGP · ORCID · Wikidata · Math-Net.Ru · dblp Documents Indexed: 110 Publications since 1969, including 1 Additional arXiv Preprint 1 Contribution as Editor Co-Authors: 22 Co-Authors with 41 Joint Publications 460 Co-Co-Authors all top 5 Co-Authors 70 single-authored 28 Scedrov, Andre 17 Kuznetsov, Stepan L’vovich 11 Nigam, Vivek 8 Ban Kirigin, Tajana 6 Talcott, Carolyn L. 4 Brotherston, James 4 Vauzeilles, Jacqueline 3 Blaisdell, Eben 3 Gorogiannis, Nikos 3 Okada, Mitsuhiro 3 Pimentel, Elaine 2 AlTurki, Musab A. 2 Morrill, Glyn V. 2 Perovic, Ranko 1 Antonopoulos, Timos 1 Dikovsky, Alexander Yakovlevich 1 Haase, Christoph 1 Kushner, Boris A. 1 Ouaknine, Joel O. 1 Petri, N. V. 1 Rowe, Reuben N. S. 1 Terui, Kazushige all top 5 Serials 32 Soviet Mathematics. Doklady 5 Annals of Pure and Applied Logic 5 MSCS. Mathematical Structures in Computer Science 3 Theoretical Computer Science 3 Soviet Journal of Computer and Systems Sciences 2 Discrete Mathematics 2 Information and Computation 1 Journal of Computer and System Sciences 1 The Journal of Logic Programming 1 Journal of Automated Reasoning 1 Journal of Logic and Computation 1 Journal of Logic, Language and Information 1 Voprosy Kibernetiki (Moskva) 1 Journal of the ACM 1 Computer Languages, Systems & Structures 1 Translations. Series 2. American Mathematical Society all top 5 Fields 78 Mathematical logic and foundations (03-XX) 75 Computer science (68-XX) 5 Combinatorics (05-XX) 2 Number theory (11-XX) 2 Information and communication theory, circuits (94-XX) 1 General and overarching topics; collections (00-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 56 Publications have been cited 248 times in 136 Documents Cited by ▼ Year ▼ Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166 Brotherston, James; Kanovich, Max 20 2014 Linear logic as a logic of computations. Zbl 0804.03004 Kanovich, Max I. 16 1994 Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046 Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël 16 2014 Subexponentials in non-commutative linear logic. Zbl 1456.03099 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 15 2019 Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007 Kanovich, Max I. 11 1995 The complexity of Horn fragments of linear logic. Zbl 0812.03007 Kanovich, Max I. 9 1994 Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre 9 2014 Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 9 2016 Phase semantics for light linear logic. Zbl 1029.03052 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 8 2003 The direct simulation of Minsky machines in linear logic. Zbl 0826.03018 Kanovich, Max I. 7 1995 A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 7 2017 The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139 Kanovich, Max; Vauzeilles, Jacqueline 6 2001 Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221 Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben 6 2016 Collaborative planning with confidentiality. Zbl 1229.90072 Kanovich, Max; Rowe, Paul; Scedrov, Andre 6 2011 Biabduction (and related problems) in array separation logic. Zbl 1496.03125 Brotherston, James; Gorogiannis, Nikos; Kanovich, Max 6 2017 A logical framework with commutative and non-commutative subexponentials. Zbl 1508.03092 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 6 2018 Phase semantics for light linear logic. Zbl 0911.68122 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 5 1997 Soft subexponentials and multiplexing. Zbl 07614531 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 5 2020 Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526 Kanovich, Max I. 4 1994 Timed multiset rewriting and the verification of time-sensitive distributed systems. Zbl 1433.68058 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn 4 2016 Undecidability of the Lambek calculus with subexponential and bracket modalities. Zbl 1495.03036 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2017 On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2016 The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2019 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2019 What is the logic fo computational tasks? Zbl 0673.03019 Kanovich, M. I. 3 1989 On the complexit y of enumeration and decision of predicates. Zbl 0255.02049 Kanovic, M. I. 3 1970 Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 3 2020 A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076 Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre 3 2017 A rewriting framework for activities subject to regulations. Zbl 1437.68082 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 3 2012 The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007 Kanovich, Max 2 2007 Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593 Kanovich, Max; Vauzeilles, Jacqueline 2 2003 Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157 Kanovich, Max; Vauzeilles, Jacqueline 2 2007 Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010 Kanovich, Max 2 2004 On domains of definition of optimal algorithms. Zbl 0235.02025 Kanovich, M. I. 2 1971 On complexity of Boolean function minimization. Zbl 0235.02026 Kanovich, M. I. 2 1971 On the decision complexity of algorithms. Zbl 0272.02054 Kanovic, M. I. 2 1969 Intuitionistic phase semantics is almost classical. Zbl 1095.03071 Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige 2 2006 Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040 Kanovich, M. I. 2 1985 Bounded memory protocols. Zbl 1308.68055 Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre 2 2014 Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042 Kanovich, Max 2 2002 Language models for some extensions of the Lambek calculus. Zbl 07540282 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2022 Efficient program synthesis: semantics, logic, complexity. Zbl 1493.68114 Kanovich, Max I. 2 1991 The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2021 On the complexity of verification of time-sensitive distributed systems. Zbl 1498.68161 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn 2 2021 Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013 Kanovich, M. I. 1 1987 Light linear logics with controlled weakening: expressibility, confluent strong normalization. Zbl 1239.03040 Kanovich, Max 1 2012 Linear logic automata. Zbl 0859.68021 Kanovich, Max I. 1 1996 Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303 Kanovic, M. I.; Petri, N. V. 1 1969 Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022 Kanovich, M. I.; Kushner, B. A. 1 1969 Light linear logic with controlled weakening. Zbl 1211.03092 Kanovich, Max 1 2009 Efficient program synthesis in computational models. Zbl 0705.68073 Kanovich, Max I. 1 1990 On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003 Kanovich, M. I. 1 1989 A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006 Kanovich, Max 1 2007 Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143 Kanovich, Max 1 2014 Non-associative, non-commutative multi-modal linear logic. Zbl 07628203 Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre 1 2022 Bracket induction for Lambek calculus with bracket modalities. Zbl 1512.03030 Morrill, Glyn; Kuznetsov, Stepan; Kanovich, Max; Scedrov, Andre 1 2018 Language models for some extensions of the Lambek calculus. Zbl 07540282 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2022 Non-associative, non-commutative multi-modal linear logic. Zbl 07628203 Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre 1 2022 The multiplicative-additive Lambek calculus with subexponential and bracket modalities. Zbl 1496.03087 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 2 2021 On the complexity of verification of time-sensitive distributed systems. Zbl 1498.68161 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn 2 2021 Soft subexponentials and multiplexing. Zbl 07614531 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 5 2020 Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities. Zbl 1515.03220 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 3 2020 Subexponentials in non-commutative linear logic. Zbl 1456.03099 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 15 2019 The complexity of multiplicative-additive Lambek calculus: 25 years later. Zbl 07176936 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2019 L-models and R-models for Lambek calculus enriched with additives and the multiplicative unit. Zbl 07176937 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2019 A logical framework with commutative and non-commutative subexponentials. Zbl 1508.03092 Kanovich, Max; Kuznetsov, Stepan; Nigam, Vivek; Scedrov, Andre 6 2018 Bracket induction for Lambek calculus with bracket modalities. Zbl 1512.03030 Morrill, Glyn; Kuznetsov, Stepan; Kanovich, Max; Scedrov, Andre 1 2018 A rewriting framework and logic for activities subject to regulations. Zbl 1364.68333 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 7 2017 Biabduction (and related problems) in array separation logic. Zbl 1496.03125 Brotherston, James; Gorogiannis, Nikos; Kanovich, Max 6 2017 Undecidability of the Lambek calculus with subexponential and bracket modalities. Zbl 1495.03036 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2017 A polynomial-time algorithm for the Lambek calculus with brackets of bounded order. Zbl 1434.03076 Kanovich, Max; Kuznetsov, Stepan; Morrill, Glyn; Scedrov, Andre 3 2017 Undecidability of the Lambek calculus with a relevant modality. Zbl 1478.03043 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 9 2016 Model checking for symbolic-heap separation logic with inductive predicates. Zbl 1347.68221 Brotherston, James; Gorogiannis, Nikos; Kanovich, Max; Rowe, Reuben 6 2016 Timed multiset rewriting and the verification of time-sensitive distributed systems. Zbl 1433.68058 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn 4 2016 On Lambek’s restriction in the presence of exponential modalities. Zbl 1476.03026 Kanovich, Max; Kuznetsov, Stepan; Scedrov, Andre 4 2016 Undecidability of propositional separation logic and its neighbours. Zbl 1295.68166 Brotherston, James; Kanovich, Max 20 2014 Foundations for decision problems in separation logic with general inductive predicates. Zbl 1406.03046 Antonopoulos, Timos; Gorogiannis, Nikos; Haase, Christoph; Kanovich, Max; Ouaknine, Joël 16 2014 Bounded memory Dolev-Yao adversaries in collaborative systems. Zbl 1360.68860 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre 9 2014 Bounded memory protocols. Zbl 1308.68055 Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre 2 2014 Multiset rewriting over Fibonacci and tribonacci numbers. Zbl 1327.68143 Kanovich, Max 1 2014 A rewriting framework for activities subject to regulations. Zbl 1437.68082 Kanovich, Max; Ban Kirigin, Tajana; Nigam, Vivek; Scedrov, Andre; Talcott, Carolyn; Perovic, Ranko 3 2012 Light linear logics with controlled weakening: expressibility, confluent strong normalization. Zbl 1239.03040 Kanovich, Max 1 2012 Collaborative planning with confidentiality. Zbl 1229.90072 Kanovich, Max; Rowe, Paul; Scedrov, Andre 6 2011 Light linear logic with controlled weakening. Zbl 1211.03092 Kanovich, Max 1 2009 The two-way rewriting in action: removing the mystery of Euler-Glaisher’s map. Zbl 1124.05007 Kanovich, Max 2 2007 Strong planning under uncertainty in domains with numerous but identical elements (a generic approach). Zbl 1118.68157 Kanovich, Max; Vauzeilles, Jacqueline 2 2007 A note on rewriting proofs and Fibonacci numbers. Zbl 1133.05006 Kanovich, Max 1 2007 Intuitionistic phase semantics is almost classical. Zbl 1095.03071 Kanovich, Max I.; Okada, Mitsuhiro; Terui, Kazushige 2 2006 Finding direct partition bijections by two-directional rewriting techniques. Zbl 1044.05010 Kanovich, Max 2 2004 Phase semantics for light linear logic. Zbl 1029.03052 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 8 2003 Coping polynomially with numerous but identical elements within planning problems. Zbl 1116.68593 Kanovich, Max; Vauzeilles, Jacqueline 2 2003 Bijections between partitions by two-directional rewriting techniques. Zbl 1020.68042 Kanovich, Max 2 2002 The classical AI planning problems in the mirror of Horn linear logic: Semantics, expressibility, complexity. Zbl 0994.68139 Kanovich, Max; Vauzeilles, Jacqueline 6 2001 Phase semantics for light linear logic. Zbl 0911.68122 Kanovich, Max I.; Okada, Mitsuhiro; Scedrov, Andre 5 1997 Linear logic automata. Zbl 0859.68021 Kanovich, Max I. 1 1996 Petri nets, Horn programs, linear logic and vector games. Zbl 0829.03007 Kanovich, Max I. 11 1995 The direct simulation of Minsky machines in linear logic. Zbl 0826.03018 Kanovich, Max I. 7 1995 Linear logic as a logic of computations. Zbl 0804.03004 Kanovich, Max I. 16 1994 The complexity of Horn fragments of linear logic. Zbl 0812.03007 Kanovich, Max I. 9 1994 Petri nets, Horn programs, linear logic, and vector games. Zbl 0942.03526 Kanovich, Max I. 4 1994 Efficient program synthesis: semantics, logic, complexity. Zbl 1493.68114 Kanovich, Max I. 2 1991 Efficient program synthesis in computational models. Zbl 0705.68073 Kanovich, Max I. 1 1990 What is the logic fo computational tasks? Zbl 0673.03019 Kanovich, M. I. 3 1989 On complexity of the refutation in the constructive propositional logic. Zbl 0725.03003 Kanovich, M. I. 1 1989 Quasipolynomial algorithms for recognizing the satisfiability and derivability of propositional formulas. Zbl 0629.03013 Kanovich, M. I. 1 1987 Efficient logical algorithms of analysis and the synthesis of dependencies. Zbl 0606.68040 Kanovich, M. I. 2 1985 On domains of definition of optimal algorithms. Zbl 0235.02025 Kanovich, M. I. 2 1971 On complexity of Boolean function minimization. Zbl 0235.02026 Kanovich, M. I. 2 1971 On the complexit y of enumeration and decision of predicates. Zbl 0255.02049 Kanovic, M. I. 3 1970 On the decision complexity of algorithms. Zbl 0272.02054 Kanovic, M. I. 2 1969 Some theorems on the complexity of normal algorithms and computations. Zbl 0181.31303 Kanovic, M. I.; Petri, N. V. 1 1969 Estimating the complexity of certain algorithmic problems of analysis. Zbl 0267.02022 Kanovich, M. I.; Kushner, B. A. 1 1969 all cited Publications top 5 cited Publications all top 5 Cited by 169 Authors 29 Kanovich, Max Iosifovich 18 Kuznetsov, Stepan L’vovich 18 Scedrov, Andre 9 Nigam, Vivek 6 Demri, Stéphane P. 6 Talcott, Carolyn L. 5 Ban Kirigin, Tajana 4 Miller, Dale Allen 4 Pimentel, Elaine 3 Deters, Morgan 3 Le, Quang Loc 3 Matheja, Christoph 3 Morrill, Glyn V. 3 Tatsuta, Makoto 3 Zuleger, Florian 2 Baillot, Patrick 2 Blaisdell, Eben 2 Brotherston, James 2 Buss, Samuel R. 2 Cao, Yongzhi 2 Cervesato, Iliano 2 Chen, Taolue 2 Chin, Wei-Ngan 2 Docherty, Simon 2 Galmiche, Didier 2 Heath, Quentin 2 Hou, Zhe 2 Iosif, Radu 2 Jin, Zhao 2 Kamide, Norihiro 2 Kihara, Takayuki 2 Kimura, Daisuke 2 Larchey-Wendling, Dominique 2 Lazić, Ranko 2 Lozes, Etienne 2 Mansutti, Alessio 2 McPheat, Lachlan 2 Noll, Thomas 2 Olarte, Carlos 2 Pagel, Jens 2 Petrov, Sergey V. 2 Pshenitsyn, Tikhon 2 Pym, David J. 2 Speranski, Stanislav O. 2 Straßburger, Lutz 2 Tiu, Alwen Fernanto 2 Vauzeilles, Jacqueline 2 Wang, Hanpin 2 Wu, Zhilin 2 Xavier, Bruno 2 Zhang, Bowen 1 Alechina, Natasha 1 AlTurki, Musab A. 1 Appel, Andrew W. 1 Arbab, Farhad 1 Bartoletti, Massimo 1 Batz, Kevin 1 Berarducci, Alessandro 1 Breitbart, Yuri 1 Brochenin, Rémi 1 Cao, Qinxiang 1 Cao, Tianyue 1 Clarke, Dave 1 Clavel, Manuel 1 Costantini, Stefania 1 Cuellar, Santiago 1 Czerwiński, Wojciech 1 Dal Lago, Ugo 1 Daley, Robert P. 1 Danos, Vincent 1 de Boer, Frank S. 1 De Gouw, Stijn 1 Debant, Alexandre 1 Degano, Pierpaolo 1 Delande, Olivier 1 Delaune, Stéphanie 1 Deuser, Kaya 1 Di Giamberardino, Paolo 1 Distefano, Dino 1 Dudakov, Sergey M. 1 Durán, Francisco 1 Echenim, Mnacho 1 Eker, Steven 1 Escobar, Santiago 1 Fesefeldt, Ira 1 Florek, Wojciech 1 Fofanova, E. M. 1 Formisano, Andrea 1 Girard, Jean-Yves 1 Gorogiannis, Nikos 1 Gu, Xincai 1 Guerrieri, Giulio 1 Gusev, Leonid A. 1 Higuchi, Kojiro 1 Hofmann, Martin 1 Hölzl, Rupert 1 Jansen, Christina 1 Jansen, Marvin 1 Joinet, Jean-Baptiste 1 Kahramanoğulları, Ozan ...and 69 more Authors all top 5 Cited in 32 Serials 12 Theoretical Computer Science 11 Annals of Pure and Applied Logic 8 Information and Computation 6 Logical Methods in Computer Science 5 Journal of Logic, Language and Information 4 MSCS. Mathematical Structures in Computer Science 4 Journal of Applied Non-Classical Logics 4 ACM Transactions on Computational Logic 3 Algebra and Logic 2 Discrete Mathematics 2 Information Sciences 2 Journal of Computer and System Sciences 2 Studia Logica 2 Journal of Automated Reasoning 2 Archive for Mathematical Logic 1 Artificial Intelligence 1 Moscow University Mathematics Bulletin 1 Applied Mathematics and Computation 1 Journal of Soviet Mathematics 1 RAIRO, Informatique Théorique 1 Transactions of the American Mathematical Society 1 Advances in Applied Mathematics 1 Formal Aspects of Computing 1 The Bulletin of Symbolic Logic 1 Theory of Computing Systems 1 Journal of the ACM 1 Theory and Practice of Logic Programming 1 Computer Languages, Systems & Structures 1 Sibirskie Èlektronnye Matematicheskie Izvestiya 1 The Review of Symbolic Logic 1 Communications in Mathematics and Statistics 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 17 Fields 108 Mathematical logic and foundations (03-XX) 92 Computer science (68-XX) 5 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Number theory (11-XX) 3 Systems theory; control (93-XX) 3 Information and communication theory, circuits (94-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 General and overarching topics; collections (00-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.