Explore All Access
BackGo to journal finder

Logical Methods in Computer Science : Impact Factor & More

eISSN: 1860-5974pISSN: 1860-5974
JournalOpen Access

Check your submission readiness

Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.

Run pre-submission checks

Aims and Scope

Logical Methods in Computer Science (LMCS) is a peer-reviewed open access scientific journal covering theoretical computer science and applied logic. It was established in 2005. The editor-in-chief is Stefan Milius (Friedrich-Alexander Universität Erlangen-Nürnberg). Less

Logical Methods in Computer Science Key Metrics

CiteScore
2
Impact Factor
< 5
SJR
Q4Computer Science (all)
SNIP
1.02

Topics Covered on Logical Methods in Computer Science

Space closure
Calculus
Block structure
Probabilistic process
Model checking
Boolean algebra
Proof theory
Intuitionistic logic
Natural deduction
Hoare logic
Type theory

Logical Methods in Computer Science Journal Specifications

Overview
Publisher LOGICAL METHODS COMPUTER SCIENCE E V
Language English
Frequency Irregular
Publication Time33
Editorial Review ProcessAnonymous peer review
General Details
LanguageEnglish
Society/Institute/SponsorLogical Methods in Computer Science e.V.
FrequencyIrregular
Publication Start Year2005
Website URLVisit website
Publication Details
Publication Time 33
Editorial Review Detail
Editorial TeamVisit website
Review ProcessAnonymous peer review
Review UrlVisit website
Information for authors
Author instructionsVisit website
Copyright DetailsVisit website
Deposit PolicySherpa/Romeo
License typeCC BY
OA statementVisit website
View less
NEW

Submissions Pack

Expert Services + AI tools

One subscription packed with expert publication services and AI tools to get you published

Brought to you by

  • Journal Selection Service

    Benefit from our experts' recommendations of 3-5 best-suited journals, accompanied by a detailed Journal Selection report explaining the choices. Make informed decisions.

  • Journal Submission Service

    Streamline your submission process with meticulous manuscript formatting to meet journal guidelines, crafting a tailored cover letter for the editor, and hassle-free account creation and submission

Bundle of AI tools for your research needs

Journal Finder, Paperpal, R Discovery, MindTheGraph and more

View benefits in detail

Buy now for a special Launch price!

$199
$249
Subscribe now

Planning to publish in Logical Methods in Computer Science ?

Upload your Manuscript to get

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your researchless than 30 sec
Free Report

Recently Published Papers in Logical Methods in Computer Science

View all papers for this journal

Compare Similar Journals with Logical Methods in Computer Science

Select Journals to Compare with Logical Methods in Computer Science
Total journals - 8
You can select up to 3 Journals at a time

Lecture Notes in Computer Science

View
Publisher: Springer Nature

Electronic Proceedings in Theoretical Computer Science

View
Publisher: Open Publishing Association

Studia Logica

View
Publisher: SPRINGER

ACM Transactions on Computational Logic

View
Publisher: ASSOC COMPUTING MACHINERY

Science of Computer Programming

View
Publisher: ELSEVIER

Proceedings of the ACM on Programming Languages

View
Publisher: ACM

Formal Aspects of Computing

View
Publisher: ASSOC COMPUTING MACHINERY

Information and Computation

View
Publisher: ACADEMIC PRESS INC ELSEVIER SCIENCE
0 Journals Selected to compare with
Logical Methods in Computer Science
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers

SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers

Get detailed Journal comparison report on your email by signing up

Sign Up

Check if your research matches the topics covered in Logical Methods in Computer Science?

  • Degree of match
  • Common matching concepts
  • Additional journal recommendations
Check your research

FAQs on Logical Methods in Computer Science

How long has Logical Methods in Computer Science been actively publishing? Faqs

Logical Methods in Computer Science has been in operation since 2005 till date.

What is the publishing frequency of Logical Methods in Computer Science? Faqs

Logical Methods in Computer Science published with a Irregular frequency.

How many articles did Logical Methods in Computer Science publish last year? Faqs

In 2023, Logical Methods in Computer Science publsihed undefined articles.

What is the eISSN & pISSN for Logical Methods in Computer Science? Faqs

For Logical Methods in Computer Science, eISSN is 1860-5974 and pISSN is 1860-5974.

What is Citescore for Logical Methods in Computer Science? Faqs

Citescore for Logical Methods in Computer Science is 2.

What is SNIP score for Logical Methods in Computer Science? Faqs

SNIP score for Logical Methods in Computer Science is 1.02.

What is the SJR for Logical Methods in Computer Science? Faqs

SJR for Logical Methods in Computer Science is Q4.

Who is the publisher of Logical Methods in Computer Science? Faqs

LOGICAL METHODS COMPUTER SCIENCE E V is the publisher of Logical Methods in Computer Science.

Global Journal Library: