Información de la Revista
Journal of Symbolic Logic (JSL)
http://www.aslonline.org/journals-journal.htmlEditor: |
Association for Symbolic Logic |
ISSN: |
0022-4812 |
Vistas: |
15206 |
Seguidores: |
2 |
Solicitud de Artículos
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.
Última Actualización Por Dou Sun en 2013-10-03
Revistas Relacionadas
CCF | Nombre Completo | Factor de Impacto | Editor | ISSN |
---|---|---|---|---|
Kybernetes | 2.400 | Emerald | 0368-492X | |
IEEE Transactions on Artificial Intelligence | IEEE | 2691-4581 | ||
b | Parallel Computing | 2.0 | Elsevier | 0167-8191 |
Biometric Technology Today | Elsevier | 0969-4765 | ||
b | Information Systems | 3.4 | Elsevier | 0306-4379 |
Semantic Web | 3.000 | IOS Press | 1570-0844 | |
Journal of Computer Science Engineering | 2.500 | IJRDO | 2456-1843 | |
International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks | AIRCC | 0975-7260 | ||
Journal of Complex Analysis | Hindawi | 2314-4963 | ||
Education and Information Technologies | 4.800 | Springer | 1360-2357 |
Nombre Completo | Factor de Impacto | Editor |
---|---|---|
Kybernetes | 2.400 | Emerald |
IEEE Transactions on Artificial Intelligence | IEEE | |
Parallel Computing | 2.0 | Elsevier |
Biometric Technology Today | Elsevier | |
Information Systems | 3.4 | Elsevier |
Semantic Web | 3.000 | IOS Press |
Journal of Computer Science Engineering | 2.500 | IJRDO |
International Journal on Applications of Graph Theory in Wireless Ad hoc Networks and Sensor Networks | AIRCC | |
Journal of Complex Analysis | Hindawi | |
Education and Information Technologies | 4.800 | Springer |
Conferencias Relacionadas
CCF | CORE | QUALIS | Abreviación | Nombre Completo | Entrega | Notificación | Conferencia |
---|---|---|---|---|---|---|---|
GC | Graph Computing | 2020-07-24 | 2020-08-15 | 2020-09-21 | |||
ICCBN | International Conference on Communications and Broadband Networking | 2025-08-20 | 2025-09-15 | 2025-08-22 | |||
CSDE | Asia-Pacific Conference on Computer Science and Data Engineering | 2024-08-30 | 2024-10-20 | 2024-12-18 | |||
SEME | International Conference on Social, Education and Management Engineering | 2017-11-15 | 2017-11-26 | ||||
InfoTech | IEEE International Conference on Information Technologies | 2020-04-30 | 2020-06-15 | 2020-09-17 | |||
EDGE | International Conference on Edge Computing | 2025-03-10 | 2025-05-06 | 2025-07-07 | |||
b4 | VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-04-15 | 2012-04-30 | 2012-07-02 | ||
IMECS | International MultiConference of Engineers and Computer Scientists | 2015-01-08 | 2015-03-18 | ||||
c | a | a1 | IROS | International Conference on Intelligent Robots and Systems | 2025-03-01 | 2025-06-30 | 2025-10-19 |
a | a* | a1 | SODA | ACM-SIAM Symposium on Discrete Algorithms | 2025-12-08 | 2026-01-11 |
Abreviación | Nombre Completo | Conferencia |
---|---|---|
GC | Graph Computing | 2020-09-21 |
ICCBN | International Conference on Communications and Broadband Networking | 2025-08-22 |
CSDE | Asia-Pacific Conference on Computer Science and Data Engineering | 2024-12-18 |
SEME | International Conference on Social, Education and Management Engineering | 2017-11-26 |
InfoTech | IEEE International Conference on Information Technologies | 2020-09-17 |
EDGE | International Conference on Edge Computing | 2025-07-07 |
VECIMS | International Conference on Virtual Environments, Human-Computer Interfaces and Measurement Systems | 2012-07-02 |
IMECS | International MultiConference of Engineers and Computer Scientists | 2015-03-18 |
IROS | International Conference on Intelligent Robots and Systems | 2025-10-19 |
SODA | ACM-SIAM Symposium on Discrete Algorithms | 2026-01-11 |