Proceedings - Symposium on Logic in Computer Science

SJR Rank #7,961H-index: 75SJR: 0.721Best quartile: N/A
Publisher

Institute of Electrical and Electronics Engineers Inc.

Country

United States

Type

conference and proceedings

SJR by Edition

2022202500.30.60.91.2

Subject Categories

  • Mathematics (miscellaneous)N/A
  • SoftwareN/A

Areas: Computer Science · Mathematics

Most published research topics

Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verificationsemigroups and automata theoryAdvanced Algebra and LogicComputability, Logic, AI AlgorithmsAdvanced Graph Theory ResearchComplexity and Algorithms in GraphsConstraint Satisfaction and OptimizationNatural Language Processing Techniques

Source: OpenAlex

Publication Statistics

2025 Docs3-Year DocsCitable Docs055110165220

Documents per Year

20222025020406080

Detailed Information

ISSN

1043-6871

SJR Best Quartile

N/A

Region

Northern America

Citations per Document (2 years)

1.50

References per Document

41.18

Coverage

1986-1987, 1990-2011, 2013, 2015-2019, 2021-2025

Scope

Information not localized

Metrics from SCImago Journal Rank 2025. View on SCImago