tlooto
Sign up
SCOPUS

Electronic Proceedings in Theoretical Computer Science, EPTCS

Publisher information is not available.

Identifiers, indexing coverage, and citation metrics for the academic journal Electronic Proceedings in Theoretical Computer Science, EPTCS. Identifiers: ISSN 2075-2180. Indexed in SCOPUS. tlooto lists 80 papers from this journal.

CiteScore

-

Scopus citation metric

SJR

-

SCImago rank

SNIP

-

Source normalized impact

Percentage rank

-

JIF percentile rank

Journal profile

ISSN
2075-2180
eISSN
-
Abbreviation
-
Publisher
-
Country
-

Web of Science categories

No Web of Science category data available.

Scopus ASJC categories

1712

Papers in this journal

Recent papers

  1. Verification meets Causality

    2026

  2. Proceedings 41st International Conference on Logic Programming

    2026

  3. Correcting Autonomous Driving Object Detection Misclassifications with Automated Commonsense Reasoning

    2026

  4. k-Convex Polyominoes by Semi-perimeter

    2026

  5. Logic Programming with Extensible Types

    2026

Most cited papers

  1. The Genesis Sequence, Tree Records and Endofunctions

    2026 · 2 citations

  2. On the Trap Space Semantics of Normal Logic Programs

    2026 · 1 citations

  3. Frequencies of Patterns in Smooth Sequences Over the Alphabet {1,3}

    2026 · 1 citations

  4. Growing Binary Trees

    2026 · 1 citations

  5. Inductive First-Order Formula Synthesis by ASP: A Case Study in Invariant Inference

    2026 · 1 citations