Scimago Journal & Country Rank
Display journals with at least Apply
Download data
Title Type SJR H index Total Docs. (2014) Total Docs. (3years) Total Refs. Total Cites (3years) Citable Docs. (3years) Cites / Doc. (2years) Ref. / Doc.
1Review of Symbolic Logic journal2.303 Q1943931127127861.2426.21GB
2Fuzzy Optimization and Decision Making journal1.920 Q1372574536231703.4521.44US
3Fuzzy Sets and Systems journal1.747 Q1129314560689615155282.5421.96NL
4Bulletin of Symbolic Logic journal1.419 Q126122168232201.8956.83US
5Journal of Symbolic Logic journal1.385 Q1346622911421652260.6117.30US
6Journal of Mathematical Logic journal1.158 Q17112224114220.6321.91SG
7ACM Transactions on Computational Logic journal1.092 Q23140891460143891.3236.50US
8Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012 conference and proceeding1.086110650134632.130.00US
9Annals of Pure and Applied Logic journal1.072 Q2338826319631842460.7622.31NL
10Notre Dame Journal of Formal Logic journal1.044 Q211329753262960.5216.63US
11Algebra and Logic journal0.818 Q2184312054256970.4012.60US
12Studia Logica journal0.780 Q2266917515491221620.7522.45NL
13Journal of Logic and Algebraic Programming journal0.748 Q243486140139732.0235.00US
14ErkenntnisOpen Access journal0.705 Q32421220358901351950.5627.78NL
15Journal of Multiple-Valued Logic and Soft Computing journal0.643 Q3187616620252021590.5826.64US
16Journal of Logic and Computation journal0.623 Q3435222015471682050.7729.75GB
17Mathematical Logic Quarterly journal0.614 Q32144140669631380.3915.20DE
18Journal of Applied Logic journal0.604 Q322258059979751.1023.96NL
19Leibniz International Proceedings in Informatics, LIPIcs conference and proceeding0.5741521062644184565940.8421.04DE
202013 Formal Methods in Computer-Aided Design, FMCAD 2013 conference and proceeding0.5307037068351.940.00US
21Archive for Mathematical Logic journal0.474 Q32354151952511490.3917.63US
22Journal of Applied Non-Classical Logics journal0.474 Q424195556747500.8129.84US
23Proceedings - 2012 19th International Symposium on Temporal Representation and Reasoning, TIME 2012 conference and proceeding0.3703021013190.680.00US
24Logica Universalis journal0.343 Q410216172031580.6034.29CH
25FPT 2012 - 2012 International Conference on Field-Programmable Technology conference and proceeding0.2826064067611.100.00US
26Bulletin of the Section of Logic journal0.212 Q48155312512530.208.33PL
27IEEE SSCI 2011: Symposium Series on Computational Intelligence - GEFS 2011: 2011 IEEE 5th International Workshop on Genetic and Evolutionary Fuzzy Systems conference and proceeding0.201501707160.000.00US
28Computational Linguistics in the Netherlands Journal conference and proceeding0.2003153239818260.6826.53NL
29Proceedings 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 proceeding0.16920100690.670.00US
3011th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2013 conference and proceeding0.161302208200.400.00US
31Proceedings - 2012 9th International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2012 conference and proceeding0.1355066001266580.190.00US
322012 International Conference on Fuzzy Theory and Its Applications, iFUZZY 2012 conference and proceeding0.1323077025760.330.00US
33IEEE SSCI 2011: Symposium Series on Computational Intelligence - T2FUZZ 2011: 2011 IEEE Symposium on Advances in Type-2 Fuzzy Logic Systems conference and proceeding0.131302005190.000.00US
3410th ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2012 conference and proceeding0.128201704160.250.00US
35Proceedings 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 proceeding0.1251080370.430.00US
36CAL 2011 - 5th Conference Francophone sur les Architectures Logicielles conference and proceeding0.1230010010.000.00FR
37Handbook of the History of Logic book serie0.114 Q481330179210110.18137.85NL
3822nd Workshop on Logic-Based Programming Environments, WLPE 2012 conference and proceeding0.1061060040.000.00ES
39Reports on Mathematical Logic journal0.104 Q42621752200.0812.50PL
40WLPE 2013 - 23rd Workshop on Logic-Based Methods in Programming Environments conference and proceeding0.1030090070.000.00US
416eme Edition de la Conference Francophone sur les Architectures Logicielles, CAL 2012 conference and proceeding0.101102100190.000.00FR
Developed by:
Scimago Lab
Powered by:
Powered by scopus

Follow us on Twitter

Scimago Lab, Copyright 2007-2016. Data Source: Scopus®