Skip to content
JournalsWorldThe Global Research Discovery Platform
Login Sign Up

Academic Journal

Q3

Logical Methods in Computer Science

Logical Methods in Computer Science

GermanyComputational Theory and Mathematics (Q3); Computer Science (miscellaneous) (Q3); Logic (Q3); Theoretical Computer Science (Q3)ISSN-matched source record
Submission information ↗
Q3Ranking
—Impact Factor (year unverified)
45H-index (SCImago 2025)
0.334SJR (2025)
2005-2026Coverage

About Logical Methods in Computer Science

Logical Methods in Computer Science is a scholarly journal published by Logical Methods in Computer Science. SCImago 2025 lists it in Q3, with an SJR of 0.334 and H-index of 45.

Coverage: 2005-2026. Research categories: Computational Theory and Mathematics (Q3); Computer Science (miscellaneous) (Q3); Logic (Q3); Theoretical Computer Science (Q3).

Open-access policies and author information

Reported in the official DOAJ public CSV snapshot (2026-09-01), downloaded 2026-10-03. Record updated 2026-08-03. This snapshot does not establish today’s listing status or fee quotation.

Accepted manuscript languagesEnglish
Licence optionsCC BY, CC BY-ND
Peer-review processAnonymous peer review
APCNo APC reported in the DOAJ snapshot
Waiver policy reportedNo
Other fees reportedNo
Author retains unrestricted copyrightYes
Reported submission-to-publication time33 weeks on average; not a guarantee
Openly licensed content since2004 (not the journal founding year)

Publisher policy links recorded by DOAJ

Source: DOAJ journal record. Journal metadata is distributed by DOAJ under CC0. Confirm current fees, tax, eligibility and waiver terms with the publisher.

Source-backed journal facts

ISSN(s)1860-5974
ISSN-L1860-5974
Source typeJournal
Publisher / hosting organisationLogical Methods in Computer Science e.V.
Publisher country codeDE
Fully open access (OpenAlex)Yes
DOAJ flag (OpenAlex)Listed in OpenAlex metadata; confirm current status in DOAJ
Works recorded in OpenAlex1,825
Citations recorded in OpenAlex16,354
OpenAlex H-index47
Years represented in OpenAlex1970–2026 (not the founding or closing dates)

Topics in published research

Logic, programming, and type systems; Formal Methods in Verification; Logic, Reasoning, and Knowledge; semigroups and automata theory; Computability, Logic, AI Algorithms; Advanced Algebra and Logic.

OpenAlex classifies topics from published works. These topics are not the publisher’s official aims and scope.

Source: OpenAlex source record. Retrieved 2026-10-03. Source record updated 2026-10-02. OpenAlex metrics are different from SCImago metrics and the Clarivate Journal Impact Factor.

Found incorrect or outdated information?Help us keep this profile accurate.
Suggest an Edit