期刊信息
Archive for Mathematical Logic
https://link.springer.com/journal/153影响因子: |
0.400 |
出版商: |
Springer |
ISSN: |
0933-5846 |
浏览: |
13668 |
关注: |
0 |
征稿
Aims and scope The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.
最后更新 Dou Sun 在 2024-07-22
相关期刊
| CCF | 全称 | 影响因子 | 出版商 | ISSN |
|---|---|---|---|---|
| Archive for Mathematical Logic | 0.400 | Springer | 0933-5846 | |
| Applied Mathematical Modelling | 5.1 | Elsevier | 0307-904X | |
| Mathematical Programming | 2.200 | Springer | 0025-5610 | |
| Journal of Applied Mathematics | 1.200 | Hindawi | 1110-757X | |
| Journal of Mathematical Cryptology | Walter de Gruyter | 1862-2976 | ||
| b | ACM Transactions on Mathematical Software | 2.700 | ACM | 0098-3500 |
| International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter | 1641-876X | |
| International Journal of Mathematics and Mathematical Sciences | 1.000 | Hindawi | 0161-1712 | |
| Automatic Documentation and Mathematical Linguistics | 0.500 | Springer | 0005-1055 | |
| Archives and Museum Informatics | Springer | 1042-1467 |
| 全称 | 影响因子 | 出版商 |
|---|---|---|
| Archive for Mathematical Logic | 0.400 | Springer |
| Applied Mathematical Modelling | 5.1 | Elsevier |
| Mathematical Programming | 2.200 | Springer |
| Journal of Applied Mathematics | 1.200 | Hindawi |
| Journal of Mathematical Cryptology | Walter de Gruyter | |
| ACM Transactions on Mathematical Software | 2.700 | ACM |
| International Journal of Applied Mathematics and Computer Science | 1.600 | Walter de Gruyter |
| International Journal of Mathematics and Mathematical Sciences | 1.000 | Hindawi |
| Automatic Documentation and Mathematical Linguistics | 0.500 | Springer |
| Archives and Museum Informatics | Springer |
相关会议
| CCF | CORE | QUALIS | 简称 | 全称 | 截稿日期 | 通知日期 | 会议日期 |
|---|---|---|---|---|---|---|---|
| b | a | a1 | COLING | International Conference on Computational Linguistics | 2024-09-16 | 2024-11-29 | 2025-01-19 |
| a | a | a2 | PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2025-09-01 | 2025-11-10 | 2026-01-31 |
| c | PSD | Privacy in Statistical Databases | 2020-06-01 | 2020-06-26 | 2020-09-23 | ||
| b1 | DL | International Workshop on Description Logics | 2022-04-23 | 2022-06-08 | 2022-08-07 | ||
| c | c | b1 | CSL | Conference on Computer Science Logic | 2025-07-15 | 2025-10-14 | 2026-02-23 |
| b4 | MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-04-03 | 2015-05-15 | 2015-06-22 | ||
| c | a | b1 | MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-04-26 | 2024-06-24 | 2024-08-26 |
| a | ALIFE | Conference on Artificial Life | 2019-03-08 | 2019-04-24 | 2019-07-29 | ||
| b4 | ICAL | International Conference on Automation and Logistics | 2012-04-30 | 2012-06-10 | 2012-08-15 | ||
| a | AiML | Advances in Modal Logic | 2018-03-11 | 2018-05-18 | 2018-08-27 |
| 简称 | 全称 | 会议日期 |
|---|---|---|
| COLING | International Conference on Computational Linguistics | 2025-01-19 |
| PPoPP | ACM SIGPLAN Annual Symposium Principles and Practice of Parallel Programming | 2026-01-31 |
| PSD | Privacy in Statistical Databases | 2020-09-23 |
| DL | International Workshop on Description Logics | 2022-08-07 |
| CSL | Conference on Computer Science Logic | 2026-02-23 |
| MFPS | International Conference on the Mathematical Foundations of Programming Semantics | 2015-06-22 |
| MFCS | International Symposium on Mathematical Foundations of Computer Science | 2024-08-26 |
| ALIFE | Conference on Artificial Life | 2019-07-29 |
| ICAL | International Conference on Automation and Logistics | 2012-08-15 |
| AiML | Advances in Modal Logic | 2018-08-27 |