X
    學術可視化工作室RC   登錄   提交文稿
學術英文編修

Logical Methods in Computer Science

期刊標題檢索 最新評論: 沒有評論


期刊名稱:   ISSN:   主題領域:   影響因子範圍: -
索引:   類別:   開放訪問:   排序方式:

[Logical Methods in Computer Science]您好,您是該頁面的第 14861 位訪客。

期刊簡介
期刊名稱Logical Methods in Computer Science Logical Methods in Computer Science
LetPub Score
4.8
50 ratings
Rate

Reputation
5.7

Influence
3.6

Speed
7.0

期刊簡稱LOG METH COMPUT SCI
ISSN1860-5974
h-index31
CiteScore
CiteScoreSJRSNIPCiteScore Rank
1.800.5730.931
Subject fieldQuartilesRankPercentile
Category: Computer Science
Subcategory: General Computer Science
Q3152 / 232
Category: Computer Science
Subcategory: Theoretical Computer Science
Q4100 / 130

自引率 (2023-2024)16.70%自引率趨勢
掲載範囲
Logical Methods in Computer Science is a fully refereed, open access, free, electronic journal. It welcomes papers on theoretical and practical areas in computer science involving logical methods, taken in a broad sense; some particular areas within its scope are listed below. Papers are refereed in the traditional way, with two or more referees per paper. Copyright is retained by the author.

Topics of Logical Methods in Computer Science:
Algebraic methods
Automata and logic
Automated deduction
Categorical models and logic
Coalgebraic methods
Computability and Logic
Computer-aided verification
Concurrency theory
Constraint programming
Cyber-physical systems
Database theory
Defeasible reasoning
Domain theory
Emerging topics: Computational systems in biology
Emerging topics: Quantum computation and logic
Finite model theory
Formalized mathematics
Functional programming and lambda calculus
Inductive logic and learning
Interactive proof checking
Logic and algorithms
Logic and complexity
Logic and games
Logic and probability
Logic for knowledge representation
Logic programming
Logics of programs
Modal and temporal logics
Program analysis and type checking
Program development and specification
Proof complexity
Real time and hybrid systems
Reasoning about actions and planning
Satisfiability
Security
Semantics of programming languages
Term rewriting and equational logic
Type theory and constructive mathematics.
官方網站http://www.lmcs-online.org/index.php
在線稿件提交http://www.lmcs-online.org/ojs/login.php
開放訪問Yes
出版商Technischen Universitat Braunschweig
主題領域工程技术
出版國/地區GERMANY
發行頻率不定期刊行
創刊年0
每年文章數82每年文章數趨勢
黃金OA百分比78.21%
OA Related Info
APC: No
APC waiver:No
Other charges: No
Keywords: theoretical computer science、logical methods
Useful LinksAims & ScopeAuthor InstructionsEditorial BoardAnonymous peer review
Web of Science 四分位
2023-2024
WOS Quartile: Q2

CategoryEditionJIF QuartileJIF RankingJIF Percentage
COMPUTER SCIENCE, THEORY & METHODSSCIEQ4117/143
LOGICSCIEQ210/25
索引 (SCI or SCIE)Science Citation Index Expanded
鏈接到PubMed Central (PMC)https://www.ncbi.nlm.nih.gov/nlmcatalog?term=1860-5974%5BISSN%5D
平均審稿時間 *來自出版商的數據:
來自作者的數據: Slow, 6-12 Week(s)
競爭力 *來自作者的數據: Easy
參考鏈接
相關期刊 【Logical Methods in Computer Science】CiteScore趨勢
自引率趨勢 每年文章數趨勢
作者評論
*所有的審稿過程指標,如接受率和審稿速度,僅限於用戶提交的稿件。因此,這些指標可能無法準確反映期刊的競爭力或速度。
  • 同一學科的期刊
  • CiteScore趨勢
  • 自引率趨勢
  • 每年文章數趨勢
  •  
    學科內的可信期刊 影響因子
    ACM COMPUTING SURVEYSH-index: 132

    CiteScore: 33.20
    Information FusionH-index: 85

    CiteScore: 33.20
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATIONH-index: 154

    CiteScore: 21.90
    COMMUNICATIONS OF THE ACMH-index: 189

    CiteScore: 16.10
    INFORMATION SYSTEMS FRONTIERSH-index: 55

    CiteScore: 13.30
    Future Generation Computer Systems-The International Journal of eScienceH-index: 93

    CiteScore: 19.90
    ACM Transactions on Multimedia Computing Communications and ApplicationsH-index: 38

    CiteScore: 8.50
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCEH-index: 59

    CiteScore: 8.00
    EVOLUTIONARY COMPUTATIONH-index: 74

    CiteScore: 6.40
    JOURNAL OF SYSTEMS AND SOFTWAREH-index: 94

    CiteScore: 8.60
    學科內最受檢索的期刊 頁面查看次數
    Information Fusion291762
    Future Generation Computer Systems-The International Journal of eScience255810
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE211777
    IEEE TRANSACTIONS ON EVOLUTIONARY COMPUTATION155549
    ACM Transactions on Multimedia Computing Communications and Applications144443
    Cluster Computing-The Journal of Networks Software Tools and Applications137053
    ACM COMPUTING SURVEYS136669
    FUZZY SETS AND SYSTEMS132753
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE123689
    EXPERT SYSTEMS98748
  •  

    Logical Methods in Computer Science Logical Methods in Computer Science
    明年預測:
    穩步上升 無變化 逐步下降  刷新
  •  

     
  •  

     


首頁    上一頁    下一頁    末頁  (0/0)
  [Logical Methods in Computer Science] 的評論撰寫評論
暫無評論。
首頁    上一頁    下一頁    末頁  (0/0)

開始撰寫 [Logical Methods in Computer Science] 的評論:





Contact us

Contact us  

Your name*

Your email*

Your message*

Please fill in all fields and provide a valid email.

Security Code*