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
Normalization by Evaluation for the Lambek Calculus
Niccolò Veltri
2022
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.358.8
Non-Normal Super-Strict Implications
Guido Gherardi, Eugenio Orlandelli
2022
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.358.1
Cyclic Negations and Four-valuedness
Oleg Grigoriev, Dmitry Zaitsev
2022
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.358.16