ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Electronic Proceedings in Theoretical Computer Science
container_qzezkwolyvf33pglm2jldjklca
Open Publishing Association
Homepage URLs
http://eptcs.org/ |
Example Publications
Theorem Discovery Amongst Cyclic Polygons
Philip Todd
2024
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.398.18
Contextual Refinement Types
Antoine Gaulin, Brigitte Pientka
2023
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.396.2
CRIL: A Concurrent Reversible Intermediate Language
Shunya Oguchi, Shoji Yuen
2023
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.387.11
Parallel Pushdown Automata and Commutative Context-Free Grammars in Bisimulation Semantics (Extended Abstract)
Jos C. M. Baeten, Bas Luttik
2023
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.387.9
Quantifying Masking Fault-Tolerance via Fair Stochastic Games
Pablo F. Castro, Pedro R. D'Argenio, Ramiro Demasi, Luciano Putruele
2023
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.387.10