仕訳帳情報
Journal of Symbolic Logic (JSL)
http://www.aslonline.org/journals-journal.html
出版社:
Association for Symbolic Logic
ISSN:
0022-4812
閲覧:
16455
追跡:
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
cJournal of Symbolic LogicAssociation for Symbolic Logic0022-4812
bJournal of Symbolic Computation1.1Elsevier0747-7171
Studia Logica0.600Springer0039-3215
bACM Transactions on Computational Logic0.700ACM1529-3785
cHigher-Order and Symbolic ComputationSpringer1388-3690
Archive for Mathematical Logic0.400Springer0933-5846
International Journal on Cybernetics & InformaticsAIRCC2320-8430
International Journal of Robotics and AutomationACTA Press0826-8185
Cybernetics and PhysicsIPME RAS2223-7038
International Journal of Fuzzy Logic SystemsAIRCC1839-6283
関連会議
CCFCOREQUALIS省略名完全な名前提出日通知日会議日
cSKGInternational Conference on Semantics, Knowledge and Grids2019-07-312019-08-152019-09-17
aa*a1CRYPTOInternational Cryptology Conference2026-02-122026-08-17
bba1ICRAInternational Conference on Robotics and Automation2025-09-152026-06-01
b1DLInternational Workshop on Description Logics2022-04-232022-06-082022-08-07
b2ICSCInternational Conference on Semantic Computing2020-10-122020-11-252021-01-27
aAiMLAdvances in Modal Logic2018-03-112018-05-182018-08-27
b4ICALInternational Conference on Automation and Logistics2012-04-302012-06-102012-08-15
b1ROBIOInternational Conference on Robotics and Biomimetics2018-07-312018-10-152018-12-12
ccb1CSLConference on Computer Science Logic2025-07-152025-10-142026-02-23
a*ISSACInternational Symposium on Symbolic and Algebraic Computation2024-01-232024-04-162024-07-16