47 | 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 | conference and proceedings | 0.240 | 7 | 0 | 22 | 0 | 16 | 20 | 0.00 | 0.00 | 0.00 | |
46 | 2013 Formal Methods in Computer-Aided Design, FMCAD 2013 | conference and proceedings | 0.898 | 8 | 0 | 12 | 0 | 81 | 11 | 0.00 | 0.00 | 0.00 | |
45 | International Bioenergy and Bioproducts Conference 2013, IBBC 2013 | conference and proceedings | 0.101 | 1 | 0 | 25 | 0 | 0 | 24 | 0.00 | 0.00 | 0.00 | |
44 | Journal of Logic and Algebraic Programming | journal | 0.402 Q3 | 36 | 0 | 19 | 0 | 19 | 17 | 0.00 | 0.00 | 0.00 | |
43 | Nanoscale Science and Engineering Forum 2014 - Core Programming Area at the 2014 AIChE Annual Meeting | conference and proceedings | 0.100 | 0 | 0 | 39 | 0 | 0 | 38 | 0.00 | 0.00 | 0.00 | |
42 | Proceedings of the 2013 IEEE International Workshop on Genetic and Evolutionary Fuzzy Systems, GEFS 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceedings | 0.131 | 4 | 0 | 10 | 0 | 6 | 9 | 0.00 | 0.00 | 0.00 | |
41 | Proceedings of the 2013 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems, T2FUZZ 2013 - 2013 IEEE Symposium Series on Computational Intelligence, SSCI 2013 | conference and proceedings | 0.251 | 4 | 0 | 8 | 0 | 6 | 7 | 0.00 | 0.00 | 0.00 | |
40 | Reports on Mathematical Logic | journal | 0.102 Q4 | 8 | 9 | 10 | 117 | 0 | 10 | 0.00 | 13.00 | 18.18 | |
39 | WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments | conference and proceedings | 0.103 | 1 | 0 | 9 | 0 | 0 | 7 | 0.00 | 0.00 | 0.00 | |
38 | RINA, Royal Institution of Naval Architects - International Conference on Fire at Sea 2014 | conference and proceedings | 0.102 | 1 | 0 | 14 | 0 | 1 | 13 | 0.07 | 0.00 | 0.00 | |
37 | iFUZZY 2014 - 2014 International Conference on Fuzzy Theory and Its Applications, Conference Digest | conference and proceedings | 0.113 | 4 | 0 | 34 | 0 | 3 | 32 | 0.09 | 0.00 | 0.00 | |
36 | Logical Investigations | journal | | 5 | 15 | 22 | 423 | 3 | 22 | 0.14 | 28.20 | 23.53 | |
35 | Bulletin of the Section of Logic | journal | 0.133 Q4 | 16 | 17 | 44 | 216 | 10 | 44 | 0.21 | 12.71 | 40.00 | |
34 | Mathematical Logic Quarterly | journal | 0.419 Q3 | 28 | 51 | 125 | 857 | 38 | 122 | 0.24 | 16.80 | 20.27 | |
33 | 2014 11th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2014 | conference and proceedings | 0.137 | 12 | 0 | 180 | 0 | 69 | 179 | 0.38 | 0.00 | 0.00 | |
32 | Proceedings - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, EMS 2014 | conference and proceedings | 0.102 | 3 | 0 | 13 | 0 | 5 | 13 | 0.38 | 0.00 | 0.00 | |
31 | Archive for Mathematical Logic | journal | 0.605 Q2 | 32 | 56 | 148 | 1082 | 71 | 148 | 0.42 | 19.32 | 13.27 | |
30 | Notre Dame Journal of Formal Logic | journal | 0.644 Q2 | 33 | 34 | 96 | 593 | 55 | 94 | 0.42 | 17.44 | 18.87 | |
29 | Computational Linguistics in the Netherlands Journal | conference and proceedings | 0.211 | 12 | 5 | 40 | 44 | 28 | 34 | 0.44 | 8.80 | 30.77 | |
28 | Algebra and Logic | journal | 0.459 Q3 | 28 | 42 | 141 | 533 | 61 | 138 | 0.48 | 12.69 | 27.91 | |
27 | 2015 IRCOBI Conference Proceedings - International Research Council on the Biomechanics of Injury | conference and proceedings | 0.130 | 10 | 0 | 85 | 0 | 42 | 84 | 0.49 | 0.00 | 0.00 | |
26 | Journal of Applied Non-Classical Logics | journal | 0.435 Q3 | 32 | 15 | 53 | 443 | 43 | 50 | 0.51 | 29.53 | 7.41 | |
25 | Journal of Multiple-Valued Logic and Soft Computing | journal | 0.260 Q4 | 29 | 62 | 167 | 1803 | 92 | 166 | 0.55 | 29.08 | 21.17 | |
24 | Journal of Symbolic Logic | journal | 0.940 Q1 | 47 | 80 | 209 | 1445 | 129 | 209 | 0.56 | 18.06 | 13.67 | |
23 | 2014 IEEE Conference on Norbert Wiener in the 21st Century: Driving Technology's Future, 21CW 2014 - Incorporating the Proceedings of the 2014 North American Fuzzy Information Processing Society Conference, NAFIPS 2014, Conference Proceedings | conference and proceedings | 0.142 | 10 | 0 | 101 | 0 | 58 | 100 | 0.57 | 0.00 | 0.00 | |
22 | Axioms (discontinued) | journal | | 33 | 29 | 80 | 1109 | 39 | 76 | 0.57 | 38.24 | 15.79 | |
21 | Logica Universalis | journal | 0.310 Q4 | 21 | 25 | 63 | 662 | 37 | 61 | 0.59 | 26.48 | 17.14 | |
20 | Algebra Universalis | journal | 0.536 | 32 | 53 | 143 | 862 | 83 | 142 | 0.67 | 16.26 | 19.51 | |
19 | Annals of Pure and Applied Logic | journal | 0.871 Q1 | 51 | 56 | 214 | 1412 | 165 | 207 | 0.76 | 25.21 | 11.76 | |
18 | Erkenntnis | journal | 0.909 Q1 | 48 | 69 | 361 | 2411 | 281 | 345 | 0.76 | 34.94 | 7.69 | |
17 | Journal of Logic and Computation | journal | 0.422 Q3 | 57 | 55 | 159 | 1776 | 144 | 151 | 0.78 | 32.29 | 18.07 | |
16 | Logic Journal of the IGPL | journal | 0.430 | 32 | 46 | 175 | 1327 | 136 | 166 | 0.79 | 28.85 | 19.51 | |
15 | Studia Logica | journal | 0.631 Q2 | 45 | 48 | 164 | 1225 | 136 | 159 | 0.79 | 25.52 | 15.19 | |
14 | Journal of Mathematical Logic | journal | 1.924 Q1 | 16 | 9 | 30 | 244 | 33 | 30 | 0.80 | 27.11 | 11.11 | |
13 | Fuzzy Information and Engineering | journal | 0.224 Q4 | 25 | 30 | 62 | 844 | 51 | 62 | 0.82 | 28.13 | 29.41 | |
12 | Handbook of the History of Logic | book series | 0.265 Q4 | 23 | 0 | 18 | 0 | 16 | 1 | 0.89 | 0.00 | 0.00 | |
11 | International Review on Modelling and Simulations | journal | 0.363 | 25 | 57 | 445 | 1471 | 301 | 445 | 0.89 | 25.81 | 17.24 | |
10 | Review of Symbolic Logic | journal | 1.229 Q1 | 31 | 34 | 106 | 1045 | 109 | 105 | 0.94 | 30.74 | 12.00 | |
9 | International Review of Automatic Control | journal | 0.451 | 16 | 52 | 225 | 1294 | 182 | 225 | 0.95 | 24.88 | 14.17 | |
8 | Journal of Logical and Algebraic Methods in Programming | journal | 0.346 Q3 | 21 | 66 | 77 | 2337 | 77 | 65 | 1.00 | 35.41 | 14.73 | |
7 | Journal of Applied Logic | journal | 0.462 Q2 | 38 | 42 | 112 | 1138 | 113 | 106 | 1.06 | 27.10 | 19.28 | |
6 | Advances in Modal Logic | conference and proceedings | 0.771 | 16 | 32 | 68 | 632 | 74 | 66 | 1.09 | 19.75 | 27.59 | |
5 | Bulletin of Symbolic Logic | journal | 0.621 Q2 | 40 | 18 | 42 | 608 | 32 | 42 | 1.10 | 33.78 | 20.69 | |
4 | Leibniz International Proceedings in Informatics, LIPIcs | conference and proceedings | 0.613 | 49 | 951 | 980 | 22499 | 1121 | 923 | 1.18 | 23.66 | 14.46 | |
3 | ACM Transactions on Computational Logic | journal | 0.639 Q2 | 52 | 21 | 115 | 725 | 183 | 115 | 1.63 | 34.52 | 12.24 | |
2 | Fuzzy Optimization and Decision Making | journal | 1.378 Q1 | 64 | 24 | 75 | 666 | 226 | 74 | 2.72 | 27.75 | 29.09 | |
1 | Fuzzy Sets and Systems | journal | 1.408 Q1 | 187 | 253 | 604 | 8460 | 1874 | 585 | 3.02 | 33.44 | 25.83 | |