期刊信息
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 |
---|---|---|---|---|
b | Journal of Symbolic Computation | 0.970 | Elsevier | 0747-7171 |
Studia Logica | 0.342 | Springer | 0039-3215 | |
b | ACM Transactions on Computational Logic | ACM | 1529-3785 | |
c | Higher-Order and Symbolic Computation | Springer | 1388-3690 | |
Archival Science | Springer | 1389-0166 | ||
International Journal on Cybernetics & Informatics | AIRCC | 2320-8430 | ||
Transport and Telecommunication Journal | Transport and Telecommunication Institute | 1407-6160 | ||
Operations Research Letters | 1.154 | Elsevier | 0167-6377 | |
International Journal of Fuzzy Logic Systems | AIRCC | 1839-6283 | ||
IEEE Transactions on Computational Intelligence and AI in Games | 1.056 | IEEE | 1943-068X |
全称 | 影响因子 | 出版商 |
---|---|---|
Journal of Symbolic Computation | 0.970 | Elsevier |
Studia Logica | 0.342 | Springer |
ACM Transactions on Computational Logic | ACM | |
Higher-Order and Symbolic Computation | Springer | |
Archival Science | Springer | |
International Journal on Cybernetics & Informatics | AIRCC | |
Transport and Telecommunication Journal | Transport and Telecommunication Institute | |
Operations Research Letters | 1.154 | Elsevier |
International Journal of Fuzzy Logic Systems | AIRCC | |
IEEE Transactions on Computational Intelligence and AI in Games | 1.056 | IEEE |
相关会议
CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
---|---|---|---|---|---|---|---|
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 | |
c | a | a1 | IROS | International Conference on Intelligent Robots and Systems | 2024-03-01 | 2024-06-30 | 2024-10-14 |
b4 | VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-04-30 | 2012-07-02 | ||
EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-05-06 | 2024-07-07 | |||
IMECS | International MultiConference of Engineers and Computer Scientists | 2015-01-08 | 2015-03-18 | ||||
A-SSCC | Asian Solid-State Circuits Conference | 2022-06-20 | 2022-08-01 | 2022-11-06 | |||
GCAT | IEEE Global Conference for Advancement in Technology | 2021-06-07 | 2021-06-27 | 2021-10-01 | |||
SEME | International Conference on Social, Education and Management Engineering | 2017-11-15 | 2017-11-26 | ||||
ICCCEEE | International Conference on Computer, Control, Electrical, and Electronics Engineering | 2019-07-31 | 2019-08-31 | 2019-09-21 | |||
ICCBN | International Conference on Communications and Broadband Networking | 2021-09-01 | 2021-09-25 | 2022-02-25 |
简称 | 全称 | 截稿日期 | 会议日期 |
---|---|---|---|
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2021-07-05 | 2022-01-09 |
IROS | International Conference on Intelligent Robots and Systems | 2024-03-01 | 2024-10-14 |
VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-07-02 |
EDGE | International Conference on Edge Computing | 2024-03-17 | 2024-07-07 |
IMECS | International MultiConference of Engineers and Computer Scientists | 2015-01-08 | 2015-03-18 |
A-SSCC | Asian Solid-State Circuits Conference | 2022-06-20 | 2022-11-06 |
GCAT | IEEE Global Conference for Advancement in Technology | 2021-06-07 | 2021-10-01 |
SEME | International Conference on Social, Education and Management Engineering | 2017-11-15 | 2017-11-26 |
ICCCEEE | International Conference on Computer, Control, Electrical, and Electronics Engineering | 2019-07-31 | 2019-09-21 |
ICCBN | International Conference on Communications and Broadband Networking | 2021-09-01 | 2022-02-25 |
推荐