期刊信息
Journal of Symbolic Logic (JSL)
http://www.aslonline.org/journals-journal.html
出版商:
Association for Symbolic Logic
ISSN:
0022-4812
浏览:
10671
关注:
2
征稿
The Journal of Symbolic Logic publishes research in mathematical logic and its applications of the highest quality. Submissions are expected to exhibit innovation and not merely be minor variations on established work. They should also be of interest to a broad audience.

The Journal publishes only original papers that have not been published previously, and are not submitted for publication elsewhere. Full versions of important papers that have previously been published in conference proceedings are eligible for publication, provided that the submitted paper extends the pre-publication in a significant way. In such cases, when authors submit a paper for publication in the JSL they are required to provide a precise reference to the pre-publication and to explain how the submission differs from the conference version.
最后更新 Dou Sun 在 2013-10-03
相关期刊
CCF全称影响因子出版商ISSN
bJournal of Symbolic Computation0.970Elsevier0747-7171
Studia Logica0.342Springer0039-3215
bACM Transactions on Computational Logic ACM1529-3785
cHigher-Order and Symbolic Computation Springer1388-3690
Archival Science Springer1389-0166
International Journal on Cybernetics & Informatics AIRCC2320-8430
Transport and Telecommunication JournalTransport and Telecommunication Institute1407-6160
Operations Research Letters1.154Elsevier0167-6377
International Journal of Fuzzy Logic Systems AIRCC1839-6283
IEEE Transactions on Computational Intelligence and AI in Games1.056IEEE1943-068X
相关会议
CCFCOREQUALIS简称全称截稿日期通知日期会议日期
aa*a1SODAACM-SIAM Symposium on Discrete Algorithms2021-07-05 2022-01-09
caa1IROSInternational Conference on Intelligent Robots and Systems2024-03-012024-06-302024-10-14
b4VECIMSInternational Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems2012-04-152012-04-302012-07-02
EDGEInternational Conference on Edge Computing2024-03-172024-05-062024-07-07
IMECSInternational MultiConference of Engineers and Computer Scientists2015-01-08 2015-03-18
A-SSCCAsian Solid-State Circuits Conference2022-06-202022-08-012022-11-06
GCATIEEE Global Conference for Advancement in Technology2021-06-072021-06-272021-10-01
SEMEInternational Conference on Social, Education and Management Engineering2017-11-15 2017-11-26
ICCCEEEInternational Conference on Computer, Control, Electrical, and Electronics Engineering2019-07-312019-08-312019-09-21
ICCBNInternational Conference on Communications and Broadband Networking2021-09-012021-09-252022-02-25
推荐