Electronic Proceedings in Theoretical Computer Science : Impact Factor & More
eISSN: 2075-2180
Open AccessShare this on:
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Electronic Proceedings in Theoretical Computer Science
Electronic Proceedings in Theoretical Computer Science Journal Specifications
Indexed in the following public directories
DOAJ 
SJR
| Overview | |
| Publisher | Open Publishing Association |
| Language | English |
| Publication Time | 21 |
| Editorial Review Process | Peer review |
| General Details | |
| Language | English |
| Website URL | Visit website |
| Publication Details | |
| Publication Time | 21 |
| Editorial Review Detail | |
| Information for authors | |
| Author instructions | Visit website |
| Copyright Details | Visit website |
| License type | CC BY-NC-ND |
| OA statement | Visit website |
View less
Planning to publish in Electronic Proceedings in Theoretical Computer Science ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Electronic Proceedings in Theoretical Computer Science
Proceedings Eighth International Conference on Applied Category Theory
- 8 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Non-Derivability Results in Polymorphic Dependent Type Theory
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Proceedings Eighth International Conference on Applied Category Theory
- 8 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Non-Derivability Results in Polymorphic Dependent Type Theory
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
An Unconventional View on Beta-Reduction in Namefree Lambda-Calculus
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Proving and Computing: The Infinite Pigeonhole Principle and Countable Choice
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Logics and Type Theory: essays dedicated to Stefano Berardi on the occasion of his 1000000th birthday
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
Truth Predicate of Inductive Definitions and Logical Complexity of Infinite-Descent Proofs
- 4 Mar 2026
- Electronic Proceedings in Theoretical Computer Science
FAQs on Electronic Proceedings in Theoretical Computer Science
How many articles did Electronic Proceedings in Theoretical Computer Science publish last year? 
Who is the publisher of Electronic Proceedings in Theoretical Computer Science?
