仕訳帳情報
Journal of Symbolic Logic (JSL)
http://www.aslonline.org/journals-journal.html出版社: |
Association for Symbolic Logic |
ISSN: |
0022-4812 |
閲覧: |
17636 |
追跡: |
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 |
|---|---|---|---|---|
| c | Journal of Biomedical Informatics | 4.5 | Elsevier | 1532-0464 |
| IEEE Transactions on Medical Robotics & Bionics | 3.7 | IEEE | 2576-3202 | |
| Solid State Sciences | 3.4 | Elsevier | 1293-2558 | |
| a | Journal of Cryptology | 2.300 | Springer | 0933-2790 |
| Physical Communication | 2.2 | Elsevier | 1874-4907 | |
| b | Journal of Symbolic Computation | 1.1 | Elsevier | 0747-7171 |
| b | ACM Transactions on Computational Logic | 0.700 | ACM | 1529-3785 |
| Studia Logica | 0.600 | Springer | 0039-3215 | |
| c | Annals of Pure and Applied Logic | 0.600 | Elsevier | 0168-0072 |
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 |
| 完全な名前 | インパクト ・ ファクター | 出版社 |
|---|---|---|
| Journal of Biomedical Informatics | 4.5 | Elsevier |
| IEEE Transactions on Medical Robotics & Bionics | 3.7 | IEEE |
| Solid State Sciences | 3.4 | Elsevier |
| Journal of Cryptology | 2.300 | Springer |
| Physical Communication | 2.2 | Elsevier |
| Journal of Symbolic Computation | 1.1 | Elsevier |
| ACM Transactions on Computational Logic | 0.700 | ACM |
| Studia Logica | 0.600 | Springer |
| Annals of Pure and Applied Logic | 0.600 | Elsevier |
| Archive for Mathematical Logic | 0.400 | Springer |
関連会議
| CCF | CORE | QUALIS | 省略名 | 完全な名前 | 提出日 | 通知日 | 会議日 |
|---|---|---|---|---|---|---|---|
| a | a* | a1 | CRYPTO | International Cryptology Conference | 2026-02-12 | 2026-08-17 | |
| b | b | a1 | ICRA | International Conference on Robotics and Automation | 2025-09-15 | 2026-06-01 | |
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| a* | ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-01-23 | 2024-04-16 | 2024-07-16 | ||
| b1 | DL | International Workshop on Description Logics | 2022-04-23 | 2022-06-08 | 2022-08-07 | ||
| b2 | ICSC | International Conference on Semantic Computing | 2020-10-12 | 2020-11-25 | 2021-01-27 | ||
| c | SKG | International Conference on Semantics, Knowledge and Grids | 2019-07-31 | 2019-08-15 | 2019-09-17 | ||
| b1 | ROBIO | International Conference on Robotics and Biomimetics | 2018-07-31 | 2018-10-15 | 2018-12-12 | ||
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 | ||
| b4 | ICAL | International Conference on Automation and Logistics | 2012-04-30 | 2012-06-10 | 2012-08-15 |
| 省略名 | 完全な名前 | 会議日 |
|---|---|---|
| CRYPTO | International Cryptology Conference | 2026-08-17 |
| ICRA | International Conference on Robotics and Automation | 2026-06-01 |
| CSL | Conference on Computer Science Logic | 2026-02-23 |
| ISSAC | International Symposium on Symbolic and Algebraic Computation | 2024-07-16 |
| DL | International Workshop on Description Logics | 2022-08-07 |
| ICSC | International Conference on Semantic Computing | 2021-01-27 |
| SKG | International Conference on Semantics, Knowledge and Grids | 2019-09-17 |
| ROBIO | International Conference on Robotics and Biomimetics | 2018-12-12 |
| AiML | Advances in Modal Logic | 2018-08-27 |
| ICAL | International Conference on Automation and Logistics | 2012-08-15 |