## Fitting, Melvin Chris

Compute Distance To:
 Author ID: fitting.melvin-c Published as: Fitting, Melvin; Fitting, M.; Fitting, Melvin C.; Fitting, M. C. more...less Homepage: http://www.melvinfitting.org/ External Links: MGP · Wikidata · dblp · GND · IdRef
 Documents Indexed: 113 Publications since 1969, including 13 Books 4 Contributions as Editor Co-Authors: 17 Co-Authors with 16 Joint Publications 395 Co-Co-Authors
all top 5

### Co-Authors

 101 single-authored 2 Thalmann, Lars 2 Voronkov, Andrei 1 Artemov, Sergei 1 Ben-Jacob, Marion 1 Fitting, Greer 1 Georgatos, Konstantinos 1 Kuznets, Roman 1 Marek, V. Wiktor 1 Mendelsohn, Richard L. 1 Müller, Berndt 1 Nerode, Anil 1 Orłowska, Ewa S. 1 Rayman, Brian 1 Salvatore, Felipe 1 Smullyan, Raymond Merrill 1 Truszczyński, Mirosław 1 Ye, Ruili
all top 5

### Serials

 11 Annals of Pure and Applied Logic 8 Studia Logica 7 Notre Dame Journal of Formal Logic 7 Journal of Logic and Computation 6 Annales Societatis Mathematicae Polonae. Series IV 6 The Journal of Logic Programming 4 The Journal of Symbolic Logic 4 Fundamenta Informaticae 3 Journal of Philosophical Logic 3 Theoria 2 Theoretical Computer Science 2 Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 2 The Australasian Journal of Logic 2 Oxford Logic Guides 2 Synthese Library 1 Synthese 1 Journal of Automated Reasoning 1 Bulletin of the European Association for Theoretical Computer Science (EATCS) 1 Journal of Applied Non-Classical Logics 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Applied Logic 1 Cambridge Tracts in Mathematics 1 Studies in Logic and the Foundations of Mathematics 1 Studies in Fuzziness and Soft Computing 1 Trends in Logic – Studia Logica Library 1 Studies in Logic (London) 1 Texts in Mathematics 1 Cadernos de Lógica e Computação 1 Outstanding Contributions to Logic 1 Journal of Applied Logics - IfCoLog Journal of Logics and their Applications
all top 5

### Fields

 101 Mathematical logic and foundations (03-XX) 31 Computer science (68-XX) 6 General and overarching topics; collections (00-XX) 4 History and biography (01-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX)

### Citations contained in zbMATH Open

80 Publications have been cited 1,443 times in 1,026 Documents Cited by Year
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
1983
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
1985
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
1998
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
1991
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
1996
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
2005
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
1969
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
1990
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
1991
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
2002
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
1992
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
1994
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
1991
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
2006
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
The family of stable models. Zbl 0798.68096
Fitting, Melvin
1993
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
1988
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
2002
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
1972
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
2012
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
1988
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
1986
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
2019
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
2001
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
2004
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
2014
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
1996
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
1995
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
1986
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
2008
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
2015
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
2009
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
2002
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
1992
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
1989
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
1994
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
2008
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
1997
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
2009
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
1990
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
1981
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
1974
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
1985
A simple propositional $$\text{S}5$$ tableau system. Zbl 0972.03017
Fitting, Melvin
1999
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
1992
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
1969
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
1999
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
2003
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
2011
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
1971
Fitting, Melvin
2011
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
2014
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
2016
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
2016
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
1998
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
2003
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
1987
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
1978
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
1999
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2000
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
1996
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
1999
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
2003
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2010
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
1988
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
1987
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
1971
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2007
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2017
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2007
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1999
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
2000
Introduction. Zbl 0972.03542
Fitting, Melvin
1999
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
2002
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
2000
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1977
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
2006
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
2011
A family of strict/tolerant logics. Zbl 07345740
Fitting, Melvin
2021
A family of strict/tolerant logics. Zbl 07345740
Fitting, Melvin
2021
Justification logic. Reasoning with reasons. Zbl 1479.03001
Artemov, Sergei; Fitting, Melvin
2019
Paraconsistent logic, evidence, and justification. Zbl 1417.03192
Fitting, Melvin
2017
Realization using the model existence theorem. Zbl 1403.03030
Fitting, Melvin
2016
Modal logics, justification logics, and realization. Zbl 1400.03040
Fitting, Melvin
2016
Modal interpolation via nested sequents. Zbl 1369.03103
Fitting, Melvin; Kuznets, Roman
2015
Nested sequents for intuitionistic logics. Zbl 1327.03006
Fitting, Melvin
2014
Possible world semantics for first-order logic of proofs. Zbl 1345.03036
Fitting, Melvin
2014
Prefixed tableaus and nested sequents. Zbl 1241.03021
Fitting, Melvin
2012
The realization theorem for S5 a simple, constructive proof. Zbl 1317.03024
Fitting, Melvin
2011
Fitting, Melvin
2011
Proving completeness for nested sequent calculi. Zbl 1261.03085
Fitting, Melvin
2011
Justification logics and hybrid logics. Zbl 1215.03032
Fitting, Melvin
2010
Realizations and LP. Zbl 1221.03020
Fitting, Melvin
2009
Reasoning with justifications. Zbl 1166.03006
Fitting, Melvin
2009
Justification logics, logics of knowledge, and conservativity. Zbl 1173.03013
Fitting, Melvin
2008
A quantified logic of evidence. Zbl 1133.03008
Fitting, Melvin
2008
Incompleteness in the land of sets. Zbl 1152.03003
Fitting, Melvin
2007
Realizations and LP. Zbl 1132.03325
Fitting, Melvin
2007
Bilattices are nice things. Zbl 1157.03308
Fitting, Melvin
2006
FOIL axiomatized. Zbl 1114.03014
Fitting, Melvin
2006
The logic of proofs, semantically. Zbl 1066.03059
Fitting, Melvin
2005
First-order intensional logic. Zbl 1061.03024
Fitting, Melvin
2004
Bisimulations and Boolean vectors. Zbl 1083.03025
Fitting, Melvin
2003
Intensional logic – beyond first order. Zbl 1048.03014
Fitting, Melvin
2003
Beyond two: Theory and applications of multiple-valued logic. Zbl 1015.00007
2003
Fixpoint semantics for logic programming a survey. Zbl 1002.68023
Fitting, Melvin
2002
Types, tableaus, and Gödel’s God. Zbl 1038.03001
Fitting, Melvin
2002
Modal logics between propositional and first-order. Zbl 1017.03008
Fitting, Melvin
2002
Interpolation for first order S5. Zbl 1009.03013
Fitting, Melvin
2002
First-order alethic modal logic. Zbl 1111.03303
Fitting, Melvin
2002
Term-modal logics. Zbl 0992.03026
Fitting, Melvin; Thalmann, Lars; Voronkov, Andrei
2001
Modality and databases. Zbl 0963.03028
Fitting, Melvin
2000
Higher-order modal logic – a sketch. Zbl 0955.03030
Fitting, Melvin
2000
Databases and higher types. Zbl 0983.68055
Fitting, Melvin
2000
A simple propositional $$\text{S}5$$ tableau system. Zbl 0972.03017
Fitting, Melvin
1999
Barcan both ways. Zbl 0993.03016
Fitting, Melvin
1999
Herbrand’s theorem for a modal logic. Zbl 0947.03024
Fitting, Melvin
1999
Foreword: A tribute to Professor Helena Rasiowa. Zbl 0922.01035
Fitting, Melvin
1999
On quantified modal logic. Zbl 0936.03019
Fitting, Melvin
1999
Introduction. Zbl 0972.03542
Fitting, Melvin
1999
First-order modal logic. Zbl 1025.03001
Fitting, Melvin; Mendelsohn, Richard L.
1998
leanTAP revisited. Zbl 0909.03013
Fitting, Melvin
1998
A theory of truth that prefers falsehood. Zbl 0880.03003
Fitting, Melvin
1997
First-order logic and automated theorem proving. 2nd ed. Zbl 0848.68101
Fitting, Melvin
1996
Set theory and the continuum problem. Zbl 0888.03032
Smullyan, Raymond M.; Fitting, Melvin
1996
A modal Herbrand theorem. Zbl 0863.68102
Fitting, Melvin
1996
Tableaus for many-valued modal logic. Zbl 0837.03017
Fitting, Melvin
1995
Kleene’s three valued logics and their children. Zbl 0804.03016
Fitting, Melvin
1994
Metric methods: Three examples and a theorem. Zbl 0823.68017
Fitting, Melvin
1994
The family of stable models. Zbl 0798.68096
Fitting, Melvin
1993
Many-valued modal logics. II. Zbl 0772.03006
Fitting, Melvin
1992
Many-valued non-monotonic modal logics. Zbl 0978.03518
Fitting, M.
1992
The pure logic of necessitation. Zbl 0819.03011
Fitting, Melvin C.; Marek, V. Wiktor; Truszczyński, Mirosław
1992
Bilattices and the semantics of logic programming. Zbl 0757.68028
Fitting, Melvin
1991
Many-valued modal logics. Zbl 0745.03018
Fitting, Melvin C.
1991
Kleene’s logic, generalized. Zbl 0744.03025
Fitting, Melvin
1991
First-order logic and automated theorem proving. Zbl 0692.68002
Fitting, Melvin
1990
Destructive modal resolution. Zbl 0724.03011
Fitting, Melvin
1990
Bilattices and the theory of truth. Zbl 0678.03028
Fitting, Melvin
1989
Negation as refutation. Zbl 0716.68024
Fitting, Melvin
1989
First-order modal tableaux. Zbl 0648.03004
Fitting, Melvin
1988
Logic programming on a topological bilattice. Zbl 0647.68096
Fitting, Melvin
1988
Pseudo-Boolean valued Prolog. Zbl 0667.68110
Fitting, Melvin
1988
Enumeration operators and modular logic programming. Zbl 0608.68005
Fitting, Melvin
1987
Computability theory, semantics, and logic programming. Zbl 0613.68019
Fitting, Melvin
1987
Notes on the mathematical aspects of Kripke’s theory of truth. Zbl 0588.03003
Fitting, Melvin
1986
Partial models and logic programming. Zbl 0629.68090
Fitting, Melvin
1986
A Kripke-Kleene semantics for logic programs. Zbl 0589.68011
Fitting, Melvin
1985
A deterministic PROLOG fixpoint semantics. Zbl 0592.68021
Fitting, Melvin
1985
Proof methods for modal and intuitionistic logics. Zbl 0523.03013
Fitting, Melvin
1983
Fundamentals of generalized recursion theory. Zbl 0597.03028
Fitting, Melvin
1981
Subformula results in some propositional modal logics. Zbl 0397.03011
Fitting, Melvin
1978
A tableau system for propositional S5. Zbl 0314.02039
Fitting, Melvin
1977
Model existence theorems for modal and intuitionistic logics. Zbl 0286.02060
Fitting, Melvin
1974
Tableau methods of proof for modal logics. Zbl 0184.28102
Fitting, Melvin
1972
An embedding of classical logic in S4. Zbl 0219.02011
Fitting, M.
1971
A tableau proof method admitting the empty domain. Zbl 0177.01102
Fitting, Melvin
1971
Intuitionistic logic, model theory and forcing. Zbl 0188.32003
Fitting, M. C.
1969
Logics with several modal operators. Zbl 0188.31801
Fitting, M.
1969
all top 5

### Cited by 1,121 Authors

 28 Fitting, Melvin Chris 14 Kuznets, Roman 13 Wansing, Heinrich Theodor 12 Petrukhin, Yaroslav Igorevich 11 Shramko, Yaroslav V. 10 Arieli, Ofer 10 Avron, Arnon 9 Benzmüller, Christoph Ewald 9 Demri, Stéphane P. 9 Denecker, Marc 9 Indrzejczak, Andrzej 9 Studer, Thomas 8 Artemov, Sergei 8 Kamide, Norihiro 8 Martins, Manuel António 8 Rümmer, Philipp 7 Straccia, Umberto 6 Beckert, Bernhard 6 Bogaerts, Bart 6 De Cock, Martine 6 Dubois, Didier 6 Gabbay, Dov M. 6 Giordani, Alessandro 6 Leszczyńska-Jasion, Dorota 6 Liau, Churn-Jung 6 Massacci, Fabio 6 Pym, David J. 6 Rivieccio, Umberto 6 Rodríguez, Ricardo Oscar 6 Subrahmanian, V. S. 6 Szałas, Andrzej 6 Wang, Yanjing 6 Yu, Junhua 5 Baratella, Stefano 5 Baumgartner, Peter 5 Benevides, Mario R. F. 5 Blackburn, Patrick 5 Blanchette, Jasmin Christian 5 Braüner, Torben 5 Demey, Lorenz 5 Dyckhoff, Roy 5 Hähnle, Reiner 5 Hitzler, Pascal 5 Kurokawa, Hidenori 5 Ma, Minghui 5 Madeira, Alexandre 5 Marek, V. Wiktor 5 Nerode, Anil 5 Ono, Hiroakira 5 Peltier, Nicolas 5 Ramanayake, Revantha 5 Rönnedal, Daniel 5 Schockaert, Steven 5 Seda, Anthony Karel 5 Shangin, Vasily 5 Truszczyński, Mirosław 5 Vennekens, Joost 5 Wintein, Stefan 4 Areces, Carlos 4 Bentkamp, Alexander 4 Bochman, Alexander 4 Bruynooghe, Maurice 4 Ciabattoni, Agata 4 Ciucci, Davide 4 Delahaye, Jean-Paul 4 Ésik, Zoltán 4 Godo, Lluís 4 Hustadt, Ullrich 4 Kreitz, Christoph 4 Maruyama, Yoshihiro 4 Milnikel, Robert Saxon 4 Movsisyan, Yuri Movses 4 Muskens, Reinhard A. 4 Negri, Sara 4 Pacuit, Eric 4 Rondogiannis, Panos 4 Schmidt, Renate A. 4 Sedlár, Igor 4 Smessaert, Hans 4 Vermeir, Dirk 4 Waldmann, Uwe 4 Wijesekera, Duminda 4 Willard, Dan E. 4 Woltzenlogel Paleo, Bruno 4 Yamasaki, Susumu 4 Zaitsev, Dmitry V. 4 Zamansky, Anna 3 Akama, Seiki 3 Baaz, Matthias 3 Backeman, Peter 3 Balbiani, Philippe 3 Belardinelli, Francesco 3 Bibel, Wolfgang 3 Bobillo, Fernando 3 Brillout, Angelo 3 Bucheli, Samuel 3 Castro, Pablo F. 3 Cerrato, Claudio 3 Chlebowski, Szymon 3 Cintula, Petr ...and 1,021 more Authors
all top 5

### Cited in 95 Serials

 101 Studia Logica 71 Theoretical Computer Science 49 Annals of Pure and Applied Logic 47 Journal of Philosophical Logic 42 Journal of Applied Non-Classical Logics 40 Journal of Automated Reasoning 30 Artificial Intelligence 26 The Journal of Symbolic Logic 23 Annals of Mathematics and Artificial Intelligence 21 Fuzzy Sets and Systems 18 Synthese 18 Journal of Applied Logic 17 Information and Computation 17 International Journal of Approximate Reasoning 17 Logic and Logical Philosophy 17 Logica Universalis 17 The Review of Symbolic Logic 16 Notre Dame Journal of Formal Logic 14 Journal of Logic, Language and Information 12 Theory and Practice of Logic Programming 11 Journal of Symbolic Computation 11 Archive for Mathematical Logic 10 The Bulletin of Symbolic Logic 8 Logical Methods in Computer Science 7 Bulletin of the Section of Logic 6 Algebra Universalis 6 New Generation Computing 6 Formal Aspects of Computing 6 The Journal of Logic and Algebraic Programming 5 Journal of Computer and System Sciences 5 International Journal of Computer Mathematics 5 Mathematical Logic Quarterly (MLQ) 5 Theory of Computing Systems 5 Soft Computing 5 Erkenntnis 5 Journal of Logical and Algebraic Methods in Programming 4 Information Sciences 4 Publications of the Research Institute for Mathematical Sciences, Kyoto University 4 History and Philosophy of Logic 4 International Journal of Intelligent Systems 4 ACM Transactions on Computational Logic 3 Information Processing Letters 3 Lithuanian Mathematical Journal 3 Journal of Computer Science and Technology 3 MSCS. Mathematical Structures in Computer Science 3 RAIRO. Informatique Théorique et Applications 3 Formal Methods in System Design 2 Acta Informatica 2 International Journal of Theoretical Physics 2 Algebra and Logic 2 Cybernetics and Systems Analysis 2 Journal of Mathematical Sciences (New York) 2 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 2 European Journal of Mathematics 1 Archiv für Mathematische Logik und Grundlagenforschung 1 Computers & Mathematics with Applications 1 Journal of the Franklin Institute 1 Mathematical Notes 1 Moscow University Mathematics Bulletin 1 Periodica Mathematica Hungarica 1 The Mathematical Intelligencer 1 Demonstratio Mathematica 1 International Journal of Game Theory 1 Journal of Differential Equations 1 Journal of Mathematical Psychology 1 The Journal of Mathematical Sociology 1 Journal of Pure and Applied Algebra 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 Quaestiones Mathematicae 1 Rendiconti del Seminario Matematico della Università di Padova 1 Transactions of the American Mathematical Society 1 Cybernetics 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 International Journal of Foundations of Computer Science 1 Games and Economic Behavior 1 Indagationes Mathematicae. New Series 1 Applied Categorical Structures 1 The Journal of Artificial Intelligence Research (JAIR) 1 Sbornik: Mathematics 1 Mathematical Communications 1 Topoi 1 Fundamenta Informaticae 1 Miscelánea Matemática 1 Journal of Intelligent and Fuzzy Systems 1 Fixed Point Theory and Applications 1 Journal of Shanghai Jiaotong University (Science) 1 Proceedings of the Steklov Institute of Mathematics 1 Journal of Fixed Point Theory and Applications 1 International Journal of Semantic Computing 1 Science China. Information Sciences 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Symmetry 1 Izvestiya Irkutskogo Gosudarstvennogo Universiteta. Seriya Matematika 1 Frontiers of Computer Science 1
all top 5

### Cited in 27 Fields

 790 Mathematical logic and foundations (03-XX) 469 Computer science (68-XX) 55 Order, lattices, ordered algebraic structures (06-XX) 21 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 16 General algebraic systems (08-XX) 15 History and biography (01-XX) 10 General and overarching topics; collections (00-XX) 10 Category theory; homological algebra (18-XX) 9 General topology (54-XX) 5 Biology and other natural sciences (92-XX) 4 Information and communication theory, circuits (94-XX) 2 Associative rings and algebras (16-XX) 2 Convex and discrete geometry (52-XX) 2 Quantum theory (81-XX) 2 Operations research, mathematical programming (90-XX) 2 Systems theory; control (93-XX) 1 Combinatorics (05-XX) 1 Field theory and polynomials (12-XX) 1 Commutative algebra (13-XX) 1 Group theory and generalizations (20-XX) 1 Ordinary differential equations (34-XX) 1 Integral equations (45-XX) 1 Operator theory (47-XX) 1 Geometry (51-XX) 1 Differential geometry (53-XX) 1 Statistics (62-XX) 1 Relativity and gravitational theory (83-XX)

### Wikidata Timeline

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