Fundamenta InformaticaeAnnales Societatis Mathematicae Polonae. Series IV Short Title: Fundam. Inform. Parallel Title: Roczniki Polskiego Towarzystwa Matematycznego. Seria IV Publisher: IOS Press, Amsterdam; Polish Mathematical Society (Polskie Towarzystwo Matematyczne - PTM), Warsaw ISSN: 0169-2968; 1875-8681/e Online: http://www.iospress.nl/journal/fundamenta-informaticaehttp://www.mimuw.edu.pl/~fundam/FI/previous/issues.html Predecessor: Annales Societatis Mathematicae Polonae. Series IV Documents Indexed: 2,948 Publications (since 1999) References Indexed: 69 Publications with 2,362 References. all top 5 Latest Issues 179, No. 1 (2021) 178, No. 4 (2021) 178, No. 3 (2021) 178, No. 1-2 (2021) 177, No. 3-4 (2020) 177, No. 2 (2020) 177, No. 1 (2020) 176, No. 3-4 (2020) 176, No. 2 (2020) 176, No. 1 (2020) 175, No. 1-4 (2020) 174, No. 3-4 (2020) 174, No. 2 (2020) 174, No. 1 (2020) 173, No. 4 (2020) 173, No. 2-3 (2020) 173, No. 1 (2020) 172, No. 4 (2020) 172, No. 3 (2020) 172, No. 2 (2020) 172, No. 1 (2020) 171, No. 1-4 (2020) 170, No. 4 (2019) 170, No. 1-3 (2019) 169, No. 4 (2019) 169, No. 3 (2019) 169, No. 1-2 (2019) 168, No. 2-4 (2019) 168, No. 1 (2019) 167, No. 4 (2019) 167, No. 3 (2019) 167, No. 1-2 (2019) 166, No. 4 (2019) 166, No. 3 (2019) 166, No. 2 (2019) 166, No. 1 (2019) 165, No. 3-4 (2019) 165, No. 2 (2019) 165, No. 1 (2019) 164, No. 4 (2019) 164, No. 2-3 (2019) 164, No. 1 (2019) 163, No. 4 (2018) 163, No. 3 (2018) 163, No. 2 (2018) 163, No. 1 (2018) 162, No. 2-3 (2018) 162, No. 1 (2018) 161, No. 4 (2018) 161, No. 3 (2018) 161, No. 1-2 (2018) 160, No. 4 (2018) 160, No. 3 (2018) 160, No. 1-2 (2018) 159, No. 4 (2018) 159, No. 3 (2018) 159, No. 1-2 (2018) 158, No. 4 (2018) 158, No. 1-3 (2018) 157, No. 4 (2018) 157, No. 3 (2018) 157, No. 1-2 (2018) 156, No. 3-4 (2017) 156, No. 2 (2017) 156, No. 1 (2017) 155, No. 4 (2017) 155, No. 3 (2017) 155, No. 1-2 (2017) 154, No. 1-4 (2017) 153, No. 4 (2017) 153, No. 3 (2017) 153, No. 1-2 (2017) 152, No. 4 (2017) 152, No. 3 (2017) 152, No. 2 (2017) 152, No. 1 (2017) 151, No. 1-4 (2017) 150, No. 3-4 (2017) 150, No. 2 (2017) 150, No. 1 (2017) 149, No. 4 (2016) 149, No. 3 (2016) 149, No. 1-2 (2016) 148, No. 3-4 (2016) 148, No. 1-2 (2016) 147, No. 4 (2016) 147, No. 2-3 (2016) 147, No. 1 (2016) 146, No. 4 (2016) 146, No. 3 (2016) 146, No. 2 (2016) 146, No. 1 (2016) 145, No. 4 (2016) 145, No. 3 (2016) 145, No. 2 (2016) 145, No. 1 (2016) 144, No. 3-4 (2016) 144, No. 2 (2016) 144, No. 1 (2016) 143, No. 3-4 (2016) ...and 285 more Volumes all top 5 Authors 48 Penczek, Wojciech 39 Czaja, Ludwik 34 Chang, Chin-Chen 32 Skowron, Andrzej 28 Suraj, Zbigniew 27 Koutny, Maciej 25 Păun, Gheorghe 24 Kudlek, Manfred 23 Rozenberg, Grzegorz 22 Moshkov, Mikhail Ju. 22 Pérez-Jiménez, Mario J. 20 Peters, James Francis III 19 Janicki, Ryszard 19 Polkowski, Lech T. 18 Freund, Rudolf 17 Köhler-Bußmeier, Michael 17 Zbrzezny, Andrzej 16 Margenstern, Maurice 16 Pettorossi, Alberto 15 Gruska, Damas P. 15 Maggiolo-Schettini, Andrea 15 Nguyen, Linh Anh 15 Stepaniuk, Jarosław 14 Barbuti, Roberto 14 Ciucci, Davide 14 Kleijn, Jetty H. C. M. 14 Pan, Linqiang 14 Redziejowski, Roman R. 14 Wolski, Marcin 13 Burkhard, Hans-Dieter 13 Farwer, Berndt 13 Gomolińska, Anna 13 Lomazova, Irina A. 13 Pancerz, Krzysztof 12 Kacprzak, Magdalena 12 Karhumaki, Juhani 12 Kutrib, Martin 12 Milazzo, Paolo 12 Zielosko, Beata 11 Bergstra, Jan A. 11 Chikalov, Igor V. 11 Devillers, Raymond 11 Holzer, Markus 11 Hu, Yuchen 11 Iliopoulos, Costas S. 11 Kari, Lila 11 Middelburg, Cornelis A. 11 Orłowska, Ewa S. 11 Popova-Zeugmann, Louchka 11 Proietti, Maurizio 11 Simson, Daniel 11 Szreter, Maciej 11 Yao, Yiyu 10 Csuhaj-Varjú, Erzsébet 10 Düntsch, Ivo 10 Lomuscio, Alessio 10 Okhotin, Alexander 10 Salomaa, Kai T. 10 Vakarelov, Dimiter 10 Winkowski, Jozef 10 Yakovlev, Alexandre V. 9 Bellia, Marco 9 Best, Eike 9 Ciobanu, Gabriel 9 Dassow, Jürgen 9 Maji, Pradipta 9 Nguyen, Hung Son 9 Occhiuto, M. Eugenia 9 Półrola, Agata 9 Salomaa, Arto Kustaa 9 Salwicki, Andrzej 9 Ślęzak, Dominik 9 Tini, Simone 9 Torroni, Paolo 9 Vaszil, Gyorgy 9 Zandron, Claudio 8 Alhazov, Artiom 8 Bistarelli, Stefano 8 Dinu, Liviu Petrişor 8 Dulio, Paolo 8 Frosini, Andrea 8 Gheorghe, Marian 8 Halava, Vesa 8 Hoogeboom, Hendrik Jan 8 Klaudel, Hanna 8 Leporati, Alberto 8 Mauri, Giancarlo 8 Mikulski, Łukasz 8 Petre, Ion 8 Terlikowski, Tomasz 8 Tsumoto, Shusaku 8 Verlan, Sergey 8 Virbitskaite, Irina B. 8 Wang, Guoyin 8 Woźna, Bożena 7 Balbiani, Philippe 7 Bhattacharya, Bhargab Bikram 7 Bordihn, Henning 7 Cattaneo, Gianpiero 7 Dennunzio, Alberto ...and 3,775 more Authors all top 5 Fields 2,466 Computer science (68-XX) 472 Mathematical logic and foundations (03-XX) 162 Information and communication theory, circuits (94-XX) 154 General and overarching topics; collections (00-XX) 121 Biology and other natural sciences (92-XX) 109 Combinatorics (05-XX) 90 Operations research, mathematical programming (90-XX) 84 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 68 Order, lattices, ordered algebraic structures (06-XX) 37 Number theory (11-XX) 36 Numerical analysis (65-XX) 26 Dynamical systems and ergodic theory (37-XX) 25 Statistics (62-XX) 23 General topology (54-XX) 22 History and biography (01-XX) 21 Partial differential equations (35-XX) 21 Systems theory; control (93-XX) 18 Group theory and generalizations (20-XX) 15 Category theory; homological algebra (18-XX) 14 General algebraic systems (08-XX) 14 Associative rings and algebras (16-XX) 12 Ordinary differential equations (34-XX) 12 Quantum theory (81-XX) 10 Real functions (26-XX) 10 Probability theory and stochastic processes (60-XX) 9 Convex and discrete geometry (52-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 6 Statistical mechanics, structure of matter (82-XX) 5 Algebraic geometry (14-XX) 5 Integral equations (45-XX) 3 Field theory and polynomials (12-XX) 3 Operator theory (47-XX) 2 Commutative algebra (13-XX) 2 Nonassociative rings and algebras (17-XX) 2 Special functions (33-XX) 2 Geometry (51-XX) 2 Fluid mechanics (76-XX) 1 Functions of a complex variable (30-XX) 1 Functional analysis (46-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Astronomy and astrophysics (85-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 1,462 Publications have been cited 5,441 times in 3,861 Documents Cited by ▼ Year ▼ Spiking neural P systems. Zbl 1110.68043Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi 118 2006 Reaction systems. Zbl 1108.68056Ehrenfeucht, A.; Rozenberg, G. 67 2007 Approximate entropy reducts. Zbl 1092.68676Ślȩzak, Dominik 38 2003 Game-theoretic rough sets. Zbl 1243.91016Herbert, Joseph P.; Yao, Jingtao 36 2011 Combinatorial geometry and coding theory. Zbl 1421.94120Raigorodskii, A. M. 32 2016 Agents that know how to play. Zbl 1102.68106Jamroga, Wojciech; van der Hoek, Wiebe 30 2004 Qualitative spatial representation and reasoning: An overview. Zbl 0974.68206Cohn, A. G.; Hazarika, S. M. 29 2001 Contact algebras and region-based theory of space: a proximity approach. I. Zbl 1111.68122Dimov, Georgi; Vakarelov, Dimiter 29 2006 The axiomatization of the rough set upper approximation. Zbl 1096.68150Liu, Gui-Long 28 2006 On the structure of rough approximations. Zbl 1012.68200Järvinen, Jouni 26 2002 Solving a PSPACE-complete problem by recognizing P systems with restricted active membranes. Zbl 1085.68048Alhazov, Artiom; Martín-Vide, Carlos; Pan, Linqiang 26 2004 Entropies and co-entropies of coverings with application to incomplete information systems. Zbl 1108.68112Bianucci, Daniela; Cattaneo, Gianpiero; Ciucci, Davide 25 2007 Tense operators on MV-algebras and Łukasiewicz-Moisil algebras. Zbl 1136.03045Diaconescu, Denisa; Georgescu, George 24 2007 On string languages generated by spiking neural P systems. Zbl 1108.68055Chen, Haiming; Freund, Rudolf; Ionescu, Mihai; Păun, Gheorghe; Pérez-Jiménez, Mario J. 23 2007 Mesh algorithms for solving principal Diophantine equations, sand-glass tubes and tori of roots. Zbl 1257.11109Simson, Daniel 23 2011 Number-conserving cellular automaton rules. Zbl 1013.37006Boccara, Nino; Fukś, Henryk 22 2002 Verifying epistemic properties of multi-agent systems via bounded model checking. Zbl 1111.68512Penczek, Wojciech; Lomuscio, Alessio 21 2003 A new family of the local fractional PDEs. Zbl 1386.35461Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J. 21 2017 Rough sets, coverings and incomplete information. Zbl 1279.68308Couso, Inés; Dubois, Didier 21 2011 A multiple-category classification approach with decision-theoretic rough sets. Zbl 1248.68492Liu, Dun; Li, Tianrui; Li, Huaxiong 20 2012 Branching bisimilarity with explicit divergence. Zbl 1183.68404van Glabbeek, Rob; Luttik, Bas; Trčka, Nikola 19 2009 SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031Moghaddam, B. P.; Machado, J. A. T. 19 2017 Near sets. Special theory about nearness of objects. Zbl 1108.68119Peters, James F. 19 2007 A comparative study of algebra viewpoint and information viewpoint in attribute reduction. Zbl 1098.68134Wang, Guoyin Y.; Zhao, Jun; An, Jiujiang; Wu, Yu 19 2005 Inflation algorithms for positive and principal edge-bipartite graphs and unit quadratic forms. Zbl 1247.05241Kosakowska, Justyna 19 2012 Algorithms determining matrix Morsifications, Weyl orbits, Coxeter polynomials and mesh geometries of roots for Dynkin diagrams. Zbl 1290.68138Simson, Daniel 19 2013 On axiomatization of inconsistency indicators for pairwise comparisons. Zbl 1303.91063Koczkodaj, Waldemar W.; Szwarc, Ryszard 19 2014 Fundamenta morphologicae mathematicae. Zbl 0958.68177Goutsias, John; Heijmans, Henk J. A. M. 18 2000 An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G. 18 2017 P systems with proteins on membranes. Zbl 1099.68031Păun, Andrei; Popa, Bianca 18 2006 A modal interface theory for component-based design. Zbl 1242.68147Raclet, Jean-Baptiste; Badouel, Eric; Benveniste, Albert; Caillaud, Benoît; Legay, Axel; Passerone, Roberto 18 2011 Modelling multi-agent three-way decisions with decision-theoretic rough sets. Zbl 1248.68505Yang, Xiaoping; Yao, Jingtao 18 2012 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. II: Coxeter type study. Zbl 1367.05107Mróz, Andrzej 18 2016 Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. II: Isotropy mini-groups. Zbl 1371.05116Simson, Daniel 18 2016 State complexity: recent results and open problems. Zbl 1102.68076Yu, Sheng 17 2005 Institution-independent ultraproducts. Zbl 1036.03055Diaconescu, Răzvan 17 2003 Logics for real time: decidability and complexity. Zbl 1127.03012Hirshfeld, Yoram; Rabinovich, Alexander 17 2004 Nets with tokens which carry data. Zbl 1154.68090Lazić, Ranko; Newcomb, Tom; Ouaknine, Joël; Roscoe, A. W.; Worrell, James 17 2008 Fault diagnosis with static and dynamic observers. Zbl 1167.68011Cassez, Franck; Tripakis, Stavros 17 2008 Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. I: Mesh root systems. Zbl 1335.05144Kasjan, Stanisław; Simson, Daniel 17 2015 Mesh algorithms for Coxeter spectral classification of Cox-regular edge-bipartite graphs with loops. II: Application to Coxeter spectral analysis. Zbl 1335.05145Kasjan, Stanisław; Simson, Daniel 17 2015 Two-way reversible multi-head finite automata. Zbl 1234.68230Morita, Kenichi 17 2011 Self-indexed grammar-based compression. Zbl 1237.68072Claude, Francisco; Navarro, Gonzalo 17 2011 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 17 2019 Congruences of edge-bipartite graphs with applications to Grothendieck group recognition. I: Inflation algorithm revisited. Zbl 1367.05106Mróz, Andrzej 17 2016 Approximate solutions of DASs with nonclassical boundary conditions using novel reproducing kernel algorithm. Zbl 1373.65051Arqub, Omar Abu 17 2016 Symbolic algorithms computing Gram congruences in the Coxeter spectral classification of edge-bipartite graphs. I. A Gram classification. Zbl 1371.05115Simson, Daniel 17 2016 The watershed transform: Definitions, algorithms and parallelization strategies. Zbl 0958.68184Roerdink, Jos B. T. M.; Meijster, Arnold 16 2000 Multigranulation decision-theoretic rough set in ordered information system. Zbl 1334.68220Li, Wentao; Xu, Weihua 16 2015 A possibility-theoretic view of formal concept analysis. Zbl 1108.68114Dubois, Didier; Dupin de Saint-Cyr, Florence; Prade, Henri 16 2007 A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo 16 2006 A framework for Coxeter spectral analysis of edge-bipartite graphs, their rational morsifications and mesh geometries of root orbits. Zbl 1269.05073Simson, Daniel 16 2013 Reaction system models for the heat shock response. Zbl 1286.92022Azimi, Sepinoud; Iancu, Bogdan; Petre, Ion 16 2014 On the injectivity of the Parikh matrix mapping. Zbl 0997.68075Atanasiu, Adrian; Martín-Vide, Carlos; Mateescu, Alexandru 15 2002 Membrane division, oracles, and the counting hierarchy. Zbl 1357.68064Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Porreca, Antonio E.; Zandron, Claudio 15 2015 The state complexity of two combined operations: star of catenation and star of reversal. Zbl 1147.68040Gao, Yuan; Salomaa, Kai; Yu, Sheng 15 2008 A convergence proof for the particle swarm optimiser. Zbl 1211.90320van den Bergh, Frans; Engelbrecht, Andries Petrus 15 2010 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 15 2018 A modal characterization of Nash equilibrium. Zbl 1041.03016Harrenstein, Paul; van der Hoek, Wiebe; Meyer, John-Jules; Witteveen, Cees 14 2003 Graph theoretical and algorithmic characterizations of positive definite symmetric quasi-Cartan matrices. Zbl 1374.68235Abarca, M.; Rivera, D. 14 2016 Modal logics for region-based theories of space. Zbl 1142.03012Balbiani, Philippe; Tinchev, Tinko; Vakarelov, Dimiter 14 2007 Frequent subtree mining – an overview. Zbl 1096.68044Chi, Yun; Nijssen, Siegfried; Muntz, Richard R.; Kok, Joost N. 14 2005 The weighted suffix tree: an efficient data structure for handling molecular weighted sequences and its applications. Zbl 1095.68029Iliopoulos, Costas S.; Makris, Christos; Panagis, Yannis; Perdikuri, Katerina; Theodoridis, Evangelos; Tsakalidis, Athanasios 14 2006 Injectivity of the Parikh matrix mappings revisited. Zbl 1104.68058Şerbănuţă, Virgil Nicolae; Şerbănuţă, Traian Florin 14 2006 A predator-prey cellular automaton with parasitic interactions and environmental effects. Zbl 1140.37024Farina, Fabio; Dennunzio, Alberto 14 2008 Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej 14 2017 Normalized decision functions and measures for inconsistent decision tables analysis. Zbl 0970.68171Ślȩzak, Dominik 13 2000 Elementary complexity and geometry of interaction. Zbl 0973.03033Baillot, Patrick; Pedicini, Marco 13 2001 From Mirkin’s prebases to Antimirov’s word partial derivatives. Zbl 0976.68098Champarnaud, Jean-Marc; Ziadi, Djelloul 13 2001 Concept lattices and similarity in non-commutative fuzzy logic. Zbl 1023.03016Georgescu, George; Popescu, Andrei 13 2002 On the injectivity of Parikh matrix mappings. Zbl 1102.68072Salomaa, Arto 13 2005 A fuzzy modal logic for belief functions. Zbl 1044.03009Godo, Lluís; Hájek, Petr; Esteva, Francesc 13 2003 Pretropologies and dynamic spaces. Zbl 1098.68131Pagliani, Piero 13 2004 RRIA: A rough set and rule tree based incremental knowledge acquisition algorithm. Zbl 1098.68711Zheng, Zheng; Wang, Guoyin 13 2004 Smaller universal spiking neural P systems. Zbl 1154.68054Zhang, Xingyi; Zeng, Xiangxiang; Pan, Linqiang 13 2008 Residual power series method for fractional diffusion equations. Zbl 1386.35445Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping 13 2017 Contact algebras and region-based theory of space: proximity approach. II. Zbl 1111.68123Dimov, Georgi; Vakarelov, Dimiter 13 2006 Nondeterministic state complexity of basic operations for prefix-free regular languages. Zbl 1161.68534Han, Yo-Sub; Salomaa, Kai; Wood, Derick 13 2009 Refinement, decomposition, and instantiation of discrete models: application to Event-B. Zbl 1118.68392Abrial, Jean-Raymond; Hallerstede, Stefan 13 2007 Nearness of objects: extension of approximation space model. Zbl 1124.68107Peters, James F.; Skowron, Andrzej; Stepaniuk, Jaroslaw 13 2007 GASP: Answer set programming with lazy grounding. Zbl 1207.68118Dal Palù, Alessandro; Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 13 2009 Computing issues of asynchronous CA. Zbl 1283.68226Dennunzio, Alberto; Formenti, Enrico; Manzoni, Luca 13 2012 An algorithmic solution of a Birkhoff type problem. Zbl 1156.16011Simson, Daniel; Wojewódzki, Mariusz 13 2008 Interval-valued fuzzy Galois connections: algebraic requirements and concept lattice construction. Zbl 1205.68403Djouadi, Yassine; Prade, Henri 12 2010 Strong normalisation of cut-elimination in classical logic. Zbl 0982.03032Urban, C.; Bierman, G. M. 12 2001 Chaotic subshifts and related languages. Applications to one-dimensional cellular automata. Zbl 1011.68054Cattaneo, Gianpiero; Dennunzio, Alberto; Margara, Luciano 12 2002 VERICS 2007 – a model checker for knowledgee and real-time. Zbl 1167.68381Kacprzak, Magdalena; Nabiałek, Wojciech; Niewiadomski, Artur; Penczek, Wojciech; Półrola, Agata; Szreter, Maciej; Woźna, Bożena; Zbrzezny, Andrzej 12 2008 A quantum-inspired evolutionary algorithm based on P systems for knapsack problem. Zbl 1154.68514Zhang, Ge-Xiang; Gheorghe, Marian; Wu, Chao-Zhong 12 2008 Algorithms for isotropy groups of Cox-regular edge-bipartite graphs. Zbl 1335.05146Kasjan, Stanisław; Simson, Daniel 12 2015 On algorithmic study of non-negative posets of corank at most two and their Coxeter-Dynkin types. Zbl 1335.05171Gąsiorek, Marcin; Zając, Katarzyna 12 2015 Algebraic structures related to many valued logical systems. I: Heyting Wajsberg algebras. Zbl 1090.03035Cattaneo, Gianpiero; Ciucci, Davide; Giuntini, Roberto; Konig, Martin 12 2004 Exploiting the lattice of ideals representation of a poset. Zbl 1110.06001De Loof, Karel; De Meyer, Hans; De Baets, Bernard 12 2006 Membrane computing and economics: numerical P systems. Zbl 1157.68373Păun, Gheorghe; Păun, Radu 12 2006 Computing forbidden words of regular languages. Zbl 1030.68059Béal, Marie-Pierre; Crochemore, Maxime; Mignosi, Filippo; Restivo, Antonio; Sciortino, Marinella 11 2003 Efficient rough set theory merging. Zbl 1329.68247Grabowski, Adam 11 2014 Modeling and verification of reactive systems using Rebeca. Zbl 1082.68007Sirjani, Marjan; Movaghar, Ali; Shali, Amin; de Boer, Frank S. 11 2004 Time Petri nets for modelling and analysis of biochemical networks. Zbl 1096.68110Popova-Zeugmann, Louchka; Heiner, Monika; Koch, Ina 11 2005 On domain theory over Girard quantales. Zbl 1193.06006Waszkiewicz, Paweł 11 2009 From one-dimensional to two-dimensional cellular automata. Zbl 1250.68204Dennunzio, Alberto 11 2012 Orthopairs: a simple and widely used way to model uncertainty. Zbl 1242.68309Ciucci, Davide 11 2011 On the general position number of complementary prisms. Zbl 07350475Neethu, P. K.; Chandran, S. V. Ullas; Changat, Manoj; Klavžar, Sandi 1 2021 Reaction systems and enabling equivalence. Zbl 1435.68095Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz 5 2020 Verification techniques for a network algebra. Zbl 1464.68233Brodo, Linda; Olarte, Carlos 2 2020 P systems with rule production and removal. Zbl 1435.68097Pan, Linqiang; Song, Bosheng 2 2020 On Szilard languages of labelled insertion grammars. Zbl 1464.68182Paul, Prithwineel 1 2020 A second-order corrector infeasible interior-point method with one-norm wide neighborhood for symmetric optimization. Zbl 07271742Kheirfam, Behrouz 1 2020 A many-sorted polyadic modal logic. Zbl 07274553Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin 1 2020 Disjunctive total domination subdivision number of graphs. Zbl 07274560Çiftçi, Canan; Aytaç, Vecdi 1 2020 On combining the methods of link residual and domination in networks. Zbl 07274562Turacı, Tufan 1 2020 Insertions yielding equivalent double occurrence words. Zbl 1435.68250Cruz, Daniel A.; Ferrari, Margherita Maria; Jonoska, Nataša; Nabergall, Lukas; Saito, Masahico 1 2020 The many roads to the simulation of reaction systems. Zbl 1435.68094Ferretti, Claudio; Leporati, Alberto; Manzoni, Luca; Porreca, Antonio E. 1 2020 How hard is it to predict sandpiles on lattices? A survey. Zbl 1445.37006Formenti, Enrico; Perrot, Kévin 1 2020 Membrane creation in polarizationless P systems with active membranes. Zbl 1435.68096Orellana-Martín, David; Valencia-Cabrera, Luis; Riscos-Núñez, Agustín; Pérez-Jiménez, Mario J. 1 2020 How to synchronize cellular automata – recent developments. Zbl 1441.68141Umeo, Hiroshi 1 2020 Dynamic slicing for concurrent constraint languages. Zbl 07350036Falaschi, Moreno; Gabbrielli, Maurizio; Olarte, Carlos; Palamidessi, Catuscia 1 2020 Network controllability analysis of three multiple-myeloma patient genetic mutation datasets. Zbl 07350069Sanchez, Martin Jose Angel; Petre, Ion 1 2020 Numerical algorithm for the solutions of fractional order systems of Dirichlet function types with comparative analysis. Zbl 1435.65182Abu Arqub, Omar 17 2019 Application of residual power series method for the solution of time-fractional Schrödinger equations in one-dimensional space. Zbl 1417.65184Arqub, Omar Abu 10 2019 An approach of proximity in rough set theory. Zbl 1435.68329Tiwari, Surabhi; Singh, Pankaj Kumar 5 2019 The Hamiltonian cycle and travelling salesman problems in cP systems. Zbl 1414.68028Cooper, James; Nicolescu, Radu 5 2019 Handling non-determinism in spiking neural P systems: algorithms and simulations. Zbl 1414.68026Carandang, Jym Paul; Cabarle, Francis George C.; Adorna, Henry Natividad; Hernandez, Nestine Hope S.; Martínez-del-Amor, Miguel Ángel 3 2019 Three-way decisions with rough membership functions in covering approximation space. Zbl 1412.68278Yang, Bin; Hu, Bao Qing; Qiao, Junsheng 2 2019 Combining the concepts of residual and domination in graphs. Zbl 1415.05139Turacı, Tufan; Aytaç, Aysun 1 2019 Expansion-based QBF solving on tree decompositions. Zbl 1415.68111Charwat, Günther; Woltran, Stefan 1 2019 A dynamic logic account of active integrity constraints. Zbl 1427.68064Feuillade, Guillaume; Herzig, Andreas; Rantsoudis, Christos 1 2019 Analysis and synthesis of weighted marked graph Petri nets: exact and approximate methods. Zbl 1436.68210Devillers, Raymond; Hujsa, Thomas 1 2019 New semantical insights into call-by-value \(\lambda\)-calculus. Zbl 1434.68092Manzonetto, Giulio; Pagani, Michele; Ronchi Della Rocca, Simona 1 2019 Observational equivalence for multiparty sessions. Zbl 1436.68214Severi, Paula; Dezani-Ciancaglini, Mariangiola 1 2019 Graphical partitions and graphical relations. Zbl 1412.68174Shaheen, Tanzeela; Stell, John G. 1 2019 Studying opacity of reaction systems through formula based predictors. Zbl 1412.68059Gori, Roberta; Gruska, Damas; Milazzo, Paolo 1 2019 Applying modern SAT-solvers to solving hard problems. Zbl 1412.68088Niewiadomski, Artur; Switalski, Piotr; Sidoruk, Teofil; Penczek, Wojciech 1 2019 Universal computation in a simplified Brownian cellular automaton with von Neumann neighborhood. Zbl 1455.68116Xu, Wen-Li; Lee, Jia; Chen, Hui-Hui; Isokawa, Teijiro 1 2019 A modal logic of a truth definition for finite models. Zbl 1435.03042Czarnecki, Marek; Zdanowski, Konrad 1 2019 Comparison of heuristics for optimization of association rules. Zbl 1414.68102Alsolami, Fawaz; Amin, Talha; Moshkov, Mikhail; Zielosko, Beata; Żabiński, Krzysztof 1 2019 Representation of lattices with modal operators in two-sorted frames. Zbl 1435.03090Hartonas, Chrysafis; Orłowska, Ewa 1 2019 The computational power of cell-like P systems with symport/antiport rules and promoters. Zbl 1414.68029Jiang, Suxia; Wang, Yanfeng; Xu, Jinbang; Xu, Fei 1 2019 Elementary matrix-computational proof of Quillen-Suslin theorem for Ore extensions. Zbl 1429.16025Fajardo, William; Lezama, Oswaldo 1 2019 Complex interval-valued intuitionistic fuzzy sets and their aggregation operators. Zbl 1414.03012Garg, Harish; Rani, Dimple 1 2019 Two-center of the convex hull of a point set: dynamic model, and restricted streaming model. Zbl 1414.68135Sadhu, Sanjib; Roy, Sasanka; Nandi, Soumen; Maheshwari, Anil; Nandy, Subhas C. 1 2019 A computational Maple library for skew PBW extensions. Zbl 1416.68216Fajardo, William 1 2019 On Boolean representation of continuous data biclustering. Zbl 07094221Michalak, Marcin; Ślęzak, Dominik 1 2019 On the existence of kernel function for kernel-trick of \(k\)-means in the light of Gower theorem. Zbl 1435.68265Kłopotek, Mieczysław A. 1 2019 Algorithmic completeness of imperative programming languages. Zbl 1423.68087Marquer, Yoann 1 2019 Cubic algorithm to compute the Dynkin type of a positive definite quasi-Cartan matrix. Zbl 1442.65082Pérez, Claudia; Abarca, Mario; Rivera, Daniel 15 2018 Picture fuzzy Hamacher aggregation operators and their application to multiple attribute decision making. Zbl 1390.68684Wei, Guiwu 10 2018 The graph theory general position problem on some interconnection networks. Zbl 1407.68367Manuel, Paul; Klavžar, Sandi 8 2018 Some novel Pythagorean fuzzy interaction aggregation operators in multiple attribute decision making. Zbl 1390.91103Gao, Hui; Lu, Mao; Wei, Guiwu; Wei, Yu 5 2018 Towards a rational closure for expressive description logics: the case of \(\mathcal{SHIQ}\). Zbl 1408.68137Giordano, Laura; Gliozzi, Valentina; Olivetti, Nicola 4 2018 Defeasible reasoning in \(\mathcal{SROEL}\): from rational entailment to rational closure. Zbl 1404.68152Giordano, Laura; Theseider Dupré, Daniele 3 2018 Anatomy of the chase. Zbl 1390.68247Grahne, Gösta; Onet, Adrian 3 2018 On \(\{\ell\}\)-metric dimensions in graphs. Zbl 1400.05072Hakanen, Anni; Laihonen, Tero 2 2018 Subset synchronization in monotonic automata. Zbl 1400.68114Ryzhikov, Andrew; Shemyakov, Anton 2 2018 Studying word equations by a method of weighted frequencies. Zbl 1400.68115Saarela, Aleksi 2 2018 Reasoning on Datalog\(^\pm\) ontologies with abductive logic programming. Zbl 1390.68621Gavanelli, Marco; Lamma, Evelina; Riguzzi, Fabrizio; Bellodi, Elena; Zese, Riccardo; Cota, Giuseppe 2 2018 Additional winning strategies in reachability games. Zbl 1386.91035Malvone, Vadim; Murano, Aniello; Sorrentino, Loredana 2 2018 Cryptanalysis and improvement for certificateless aggregate signature. Zbl 1391.94775Li, Jiguo; Yuan, Hong; Zhang, Yichen 2 2018 A Petri net based modeling of active objects and futures. Zbl 1390.68489de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi 2 2018 Ordered weighted hesitant fuzzy information fusion-based approach to multiple attribute decision making with probabilistic linguistic term sets. Zbl 1390.68651Farhadinia, Bahram; Xu, Zeshui 2 2018 Boolean representation for exact biclustering. Zbl 1398.68451Michalak, Marcin; Ślȩzak, Dominik 1 2018 Constraint logic programming with polynomial constraints over finite domains. Zbl 1396.68030Bergenti, Federico; Monica, Stefania; Rossi, Gianfranco 1 2018 Extending logic programming with labelled variables: model and semantics. Zbl 1396.68031Calegari, Roberta; Denti, Enrico; Dovier, Agostino; Omicini, Andrea 1 2018 Logic-based verification of the distributed dining philosophers protocol. Zbl 1396.68071Delzanno, Giorgio 1 2018 Multi-agent dialogues and dialogue sequents for proof search and scheduling in intuitionistic logic and the modal logic S4. Zbl 1408.68139Sticht, Martin 1 2018 Residual closeness of generalized thorn graphs. Zbl 1396.05104Dangalchev, Chavdar 1 2018 Preserving \(\lambda\)-scrambling matrices. Zbl 1396.05070Guterman, Alexander E.; Maksaev, Artem M. 1 2018 Vector ambiguity and freeness problems in \(\mathrm{SL}(2,\mathbb{Z})\). Zbl 1406.20055Ko, Sang-Ki; Potapov, Igor 1 2018 A full-Newton step interior-point method based on a class of specific algebra transformation. Zbl 1407.90346Kheirfam, Behrouz; Nasrollahi, Afsaneh 1 2018 A linear space data structure for range LCP queries. Zbl 1405.68463Ganguly, Arnab; Patil, Manish; Shah, Rahul; Thankachan, Sharma V. 1 2018 On computing average common substring over run length encoded sequences. Zbl 1403.68373Hooshmand, Sahar; Tavakoli, Neda; Abedin, Paniz; Thankachan, Sharma V. 1 2018 Reference abstract domains and applications to string analysis. Zbl 1386.68031Amadini, Roberto; Gange, Graeme; Gauthier, François; Jordan, Alexander; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J.; Zhang, Chenyi 1 2018 Multi-context systems with preferences. Zbl 1386.68159Le, Tiep; Son, Tran Cao; Pontelli, Enrico 1 2018 Logics for modelling collective attitudes. Zbl 1386.68162Porello, Daniele 1 2018 Trying to understand PEG. Zbl 1386.68081Redziejowski, Roman R. 1 2018 On axiomatizability of the multiplicative theory of numbers. Zbl 1436.03307Salehi, Saeed 1 2018 Finding shortest triangular path and its family inside a digital object. Zbl 1390.68729Sarkar, Apurba; Biswas, Arindam; Dutt, Mousumi; Mondal, Shouvick 1 2018 Neighborhood systems: rough set approximations and definability. Zbl 1390.68679Syau, Yu-Ru; Lin, En-Bing; Liau, Churn-Jung 1 2018 State complexity of multiple catenations. Zbl 1393.68089Caron, Pascal; Luque, Jean-Gabriel; Patrou, Bruno 1 2018 A new family of the local fractional PDEs. Zbl 1386.35461Yang, Xiao-Jun; Machado, J. A. Tenreiro; Nieto, Juan J. 21 2017 SM-algorithms for approximating the variable-order fractional derivative of high order. Zbl 1377.65031Moghaddam, B. P.; Machado, J. A. T. 19 2017 An optimization wavelet method for multi variable-order fractional differential equations. Zbl 1379.65046Heydari, M. H.; Hooshmandasl, M. R.; Cattani, C.; Hariharan, G. 18 2017 Inflation algorithm for Cox-regular positive edge-bipartite graphs with loops. Zbl 1377.05078Makuracki, Bartosz; Simson, Daniel; Zyglarski, Błażej 14 2017 Residual power series method for fractional diffusion equations. Zbl 1386.35445Kumar, Amit; Kumar, Sunil; Yan, Sheng-Ping 13 2017 Numeric algorithms for corank two edge-bipartite graphs and their mesh geometries of roots. Zbl 1375.05167Zając, Katarzyna 10 2017 Computational efficiency of minimal cooperation and distribution in polarizationless P systems with active membranes. Zbl 1377.68088Valencia-Cabrera, Luis; Orellana-Martín, David; Martínez-del-Amor, Miguel A.; Riscos-Núñez, Agustín; Pérez-Jiménez, Mario J. 9 2017 Monotone convergence of extended iterative methods and fractional calculus with applications. Zbl 1378.65115Anastassiou, George A.; Argyros, Ioannis K.; Kumar, Sunil 8 2017 Model of thin viscous fluid sheet flow within the scope of fractional calculus: fractional derivative with and no singular kernel. Zbl 1375.76020Atangana, Abdon; Koca, Ilknur 7 2017 Applications of bipartite graphs and their adjacency matrices to covering-based rough sets. Zbl 1381.68293Wang, Jingqian; Zhu, William 7 2017 Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042Milius, Stefan; Litak, Tadeusz 6 2017 On the critical strip of the Riemann zeta fractional derivative. Zbl 1376.26007Cattani, C.; Guariglia, E.; Wang, S. 6 2017 Rough set theory and digraphs. Zbl 1400.05193Chiaselotti, Giampiero; Ciucci, Davide; Gentile, Tommaso; Infusino, Federico 6 2017 Łukasiewicz \(\mu\)-calculus. Zbl 1380.68281Mio, Matteo; Simpson, Alex 5 2017 A predictor-corrector infeasible-interior-point algorithm for semidefinite optimization in a wide neighborhood. Zbl 1386.90100Kheirfam, Behrouz 5 2017 Non-differentiable solutions for local fractional nonlinear Riccati differential equations. Zbl 1379.34015Yang, Xiao-Jun; Srivastava, H. M.; Torres, Delfim F. M.; Zhang, Yudong 4 2017 Efficient simulation of reaction systems on graphics processing units. Zbl 1378.68188Nobile, Marco S.; Porreca, Antonio E.; Spolaor, Simone; Manzoni, Luca; Cazzaniga, Paolo; Mauri, Giancarlo; Besozzi, Daniela 4 2017 CoCaml: functional programming with regular coinductive types. Zbl 1374.68098Jeannin, Jean-Baptiste; Kozen, Dexter; Silva, Alexandra 3 2017 Interpretation of fractional derivatives as reconstruction from sequence of integer derivatives. Zbl 1376.26009Tarasov, Vasily E. 3 2017 Verification of linear-time temporal properties for reaction systems with discrete concentrations. Zbl 1378.68113Męski, Artur; Koutny, Maciej; Penczek, Wojciech 3 2017 Morphic characterizations of language families based on local and star languages. Zbl 1435.68181Okubo, Fumiya; Yokomori, Takashi 3 2017 Tinput-driven pushdown, counter, and stack automata. Zbl 1378.68107Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias 3 2017 Eigenvector method and rank reversal in group decision making revisited. Zbl 1407.91079Csató, László 3 2017 ...and 862 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 5,228 Authors 41 Pan, Linqiang 35 Pérez-Jiménez, Mario J. 25 Mauri, Giancarlo 24 Salomaa, Kai T. 23 Koutny, Maciej 23 Kutrib, Martin 23 Yao, Yiyu 22 Manzoni, Luca E. 22 Milazzo, Paolo 22 Porreca, Antonio E. 20 Barbuti, Roberto 20 Leporati, Alberto 20 Simson, Daniel 19 Ibarra, Oscar H. 19 Păun, Gheorghe 19 Zandron, Claudio 18 Formenti, Enrico 18 Kleijn, Jetty H. C. M. 18 Maggiolo-Schettini, Andrea 18 Ojeda-Aciego, Manuel 18 Rozenberg, Grzegorz 17 Chiaselotti, Giampiero 17 Ciobanu, Gabriel 17 Li, Tianrui 17 Malcher, Andreas 17 Salomaa, Arto Kustaa 17 Song, Bosheng 17 Valencia-Cabrera, Luis 16 Dubois, Didier 16 Freund, Rudolf 16 Grabowski, Adam 16 Kari, Lila 16 Medina, Jesús 15 Dennunzio, Alberto 15 Ésik, Zoltán 15 Li, Qingguo 15 Okhotin, Alexander 15 Păun, Andrei 15 Teh, Wen Chean 14 Alhazov, Artiom 14 Ciucci, Davide 14 Manea, Florin 14 Miao, Duoqian 14 Prade, Henri M. 14 Subramanian, Kumbakonam Govindarajan 14 Zeng, Xiangxiang 14 Zhu, William 13 Cattaneo, Gianpiero 13 Dassow, Jürgen 13 De Baets, Bernard 13 Moshkov, Mikhail Ju. 13 Riscos-Núñez, Agustín 13 Sosík, Petr 12 Gentile, Tommaso 12 Infusino, Federico G. 12 Jirásková, Galina 12 Moreira, Nelma 12 Murano, Aniello 12 Navarro, Gonzalo 12 Orellana-Martín, David 12 Otto, Friedrich 12 Qian, Yuhua 12 Raĭgorodskiĭ, Andreĭ Mikhaĭlovich 12 Wang, Guoyin 12 Xu, Weihua 12 Yu, Sheng 11 Aman, Bogdan 11 Bergstra, Jan A. 11 Fernau, Henning 11 Han, Yo-Sub 11 Middelburg, Cornelis A. 11 Petre, Ion 11 Vakarelov, Dimiter 10 Adorna, Henry Natividad 10 Cornelis, Chris 10 Diaconescu, Răzvan 10 Georgescu, Irina 10 Gheorghe, Marian 10 Liu, Dun 10 Liu, Guilong 10 Nguyen, Linh Anh 10 Reis, Rogério 10 Tiwari, Surabhi 10 Wang, Jun 9 Arqub, Omar Abu 9 Avazzadeh, Zakieh 9 Brzozowski, Janusz Antoni 9 Chajda, Ivan 9 Corradini, Andrea 9 Daykin, Jacqueline W. 9 Harju, Tero 9 Hoogeboom, Hendrik Jan 9 Ipate, Florentin 9 Janicki, Ryszard 9 Kheirfam, Behrouz 9 Konecny, Jan 9 Luttik, Bas 9 Paseka, Jan 9 Peng, Hong 9 Peters, James Francis III ...and 5,128 more Authors all top 5 Cited in 341 Journals 493 Theoretical Computer Science 229 Information Sciences 160 International Journal of Approximate Reasoning 127 Information and Computation 88 Fuzzy Sets and Systems 72 Acta Informatica 70 Natural Computing 59 Soft Computing 54 Artificial Intelligence 54 Journal of Membrane Computing 51 Discrete Applied Mathematics 45 Journal of Logical and Algebraic Methods in Programming 44 Annals of Mathematics and Artificial Intelligence 44 Theory and Practice of Logic Programming 41 Information Processing Letters 41 Journal of Computer and System Sciences 35 Logical Methods in Computer Science 33 Studia Logica 33 Formal Aspects of Computing 33 Theory of Computing Systems 30 Annals of Pure and Applied Logic 30 International Journal of Foundations of Computer Science 28 Applied Mathematics and Computation 28 Mathematical Problems in Engineering 27 The Journal of Logic and Algebraic Programming 26 Fundamenta Informaticae 26 Journal of Applied Logic 24 Computational and Applied Mathematics 23 European Journal of Operational Research 22 Journal of Automated Reasoning 22 Linear Algebra and its Applications 21 Algorithmica 21 MSCS. Mathematical Structures in Computer Science 20 RAIRO. Theoretical Informatics and Applications 18 Science of Computer Programming 18 Journal of Symbolic Computation 17 Pattern Recognition 17 International Journal of Applied Mathematics and Computer Science 16 Chaos, Solitons and Fractals 16 Journal of Applied Non-Classical Logics 16 Complexity 16 Mathematics in Computer Science 15 Machine Learning 15 RAIRO. Theoretical Informatics and Applications 15 Symmetry 14 Mathematical Notes 14 Discrete Event Dynamic Systems 14 Journal of Intelligent and Fuzzy Systems 13 Computers & Mathematics with Applications 13 Programming and Computer Software 13 Formal Methods in System Design 13 Journal of Logic, Language and Information 13 Journal of Discrete Algorithms 13 Formalized Mathematics 12 Journal of Philosophical Logic 12 European Journal of Combinatorics 11 Discrete Mathematics 11 Journal of Applied Mathematics 11 ACM Transactions on Computational Logic 11 Advances in Difference Equations 11 Algorithms 10 Synthese 10 Archive for Mathematical Logic 10 Journal of Mathematical Imaging and Vision 10 Logica Universalis 10 Frontiers of Computer Science 9 The Journal of Symbolic Logic 9 Annals of Operations Research 9 Cybernetics and Systems Analysis 9 The Bulletin of Symbolic Logic 8 International Journal of Theoretical Physics 8 Applied Numerical Mathematics 8 Distributed Computing 8 Journal of Mathematical Sciences (New York) 7 Problems of Information Transmission 7 Mathematics and Computers in Simulation 7 Topology and its Applications 6 Algebra Universalis 6 Automatica 6 Journal of Algebra 6 Journal of Combinatorial Theory. Series A 6 Journal of Computational and Applied Mathematics 6 Kybernetika 6 Notre Dame Journal of Formal Logic 6 Applicable Algebra in Engineering, Communication and Computing 6 Journal of Combinatorial Optimization 6 Data Mining and Knowledge Discovery 6 Journal of Applied Mathematics and Computing 6 Optimization Letters 6 Journal of Nonlinear Science and Applications 6 The Review of Symbolic Logic 6 Journal of Mathematics 5 Journal of Pure and Applied Algebra 5 Moscow University Computational Mathematics and Cybernetics 5 Order 5 Journal of Computer Science and Technology 5 New Generation Computing 5 Designs, Codes and Cryptography 5 Engineering Analysis with Boundary Elements 5 Logic and Logical Philosophy ...and 241 more Journals all top 5 Cited in 56 Fields 2,806 Computer science (68-XX) 812 Mathematical logic and foundations (03-XX) 254 Combinatorics (05-XX) 212 Order, lattices, ordered algebraic structures (06-XX) 167 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 162 Operations research, mathematical programming (90-XX) 142 Information and communication theory, circuits (94-XX) 134 Biology and other natural sciences (92-XX) 107 Numerical analysis (65-XX) 85 Dynamical systems and ergodic theory (37-XX) 80 General topology (54-XX) 60 Category theory; homological algebra (18-XX) 56 Partial differential equations (35-XX) 56 Systems theory; control (93-XX) 55 Statistics (62-XX) 50 Number theory (11-XX) 47 Ordinary differential equations (34-XX) 46 Linear and multilinear algebra; matrix theory (15-XX) 46 Real functions (26-XX) 39 Associative rings and algebras (16-XX) 33 Quantum theory (81-XX) 32 Probability theory and stochastic processes (60-XX) 31 Group theory and generalizations (20-XX) 25 General algebraic systems (08-XX) 21 Integral equations (45-XX) 13 Measure and integration (28-XX) 13 Geometry (51-XX) 12 Convex and discrete geometry (52-XX) 11 Algebraic geometry (14-XX) 10 History and biography (01-XX) 10 Operator theory (47-XX) 10 Mechanics of deformable solids (74-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 8 Approximations and expansions (41-XX) 8 Statistical mechanics, structure of matter (82-XX) 7 Fluid mechanics (76-XX) 6 General and overarching topics; collections (00-XX) 6 Nonassociative rings and algebras (17-XX) 6 Special functions (33-XX) 6 Functional analysis (46-XX) 4 Commutative algebra (13-XX) 4 Difference and functional equations (39-XX) 4 Manifolds and cell complexes (57-XX) 4 Classical thermodynamics, heat transfer (80-XX) 2 Field theory and polynomials (12-XX) 2 Harmonic analysis on Euclidean spaces (42-XX) 2 Integral transforms, operational calculus (44-XX) 2 Algebraic topology (55-XX) 2 Geophysics (86-XX) 2 Mathematics education (97-XX) 1 Topological groups, Lie groups (22-XX) 1 Functions of a complex variable (30-XX) 1 Sequences, series, summability (40-XX) 1 Abstract harmonic analysis (43-XX) 1 Optics, electromagnetic theory (78-XX) 1 Relativity and gravitational theory (83-XX) Citations by Year