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
Unifying Automata Theory and Constrained Horn Clauses for Scalable Program Verification
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Building Automated Reasoning Tools using the FreqHorn Framework
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Semantic Properties of Computations Defined by Elementary Inference Systems
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Finding Regular Herbrand Models for CHCs using Answer Set Programming
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Theta as a Horn Solver
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Unifying Automata Theory and Constrained Horn Clauses for Scalable Program Verification
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Building Automated Reasoning Tools using the FreqHorn Framework
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Semantic Properties of Computations Defined by Elementary Inference Systems
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Finding Regular Herbrand Models for CHCs using Answer Set Programming
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Theta as a Horn Solver
- 29 Oct 2025
- Electronic Proceedings in Theoretical Computer Science
Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis
- 29 Oct 2025
- 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?
