Recommended pre-submission checks
Powered by 

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
On Modal Logics of Full Products of Neighborhood Frames
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Halo Semantics for Modal Logic
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Non-classical Topological Evidence Logic
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
K-Convex Polyominoes by Semi-perimeter
- 6 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Exhaustive Generation of Genus-One Knot and Link Diagrams via Maps on the Torus
- 6 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
On Modal Logics of Full Products of Neighborhood Frames
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Halo Semantics for Modal Logic
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Intuitionistic Monotone Modal Logic: Proof Theory and Semantics
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Non-classical Topological Evidence Logic
- 29 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
K-Convex Polyominoes by Semi-perimeter
- 6 Jun 2026
- Electronic Proceedings in Theoretical Computer Science
Exhaustive Generation of Genus-One Knot and Link Diagrams via Maps on the Torus
- 6 Jun 2026
- Electronic Proceedings in Theoretical Computer Science