ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Electronic Proceedings in Theoretical Computer Science
container_qzezkwolyvf33pglm2jldjklca
Published by Open Publishing Association
Search Releases from this Container
Example Publications
Parallel Independence in Attributed Graph Rewriting
Thierry Boy de la Tour
2021
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.334.5
Mechanisation of Model-theoretic Conservative Extension for HOL with Ad-hoc Overloading
Arve Gengelbach, Johannes Åman Pohjola, Tjark Weber
2021
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.332.1
Deductive Systems and Coherence for Skew Prounital Closed Categories
Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger
2021
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.332.3
A Fast Graph Program for Computing Minimum Spanning Trees
Brian Courtehoute, Detlef Plump
2020
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.330.10
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project
Aaron Dutle, César Muñoz, Esther Conrad, Alwyn Goodloe, Laura Titolo, Ivan Perez, Swee Balachandran, Dimitra Giannakopoulou, Anastasia Mavridou, Thomas Pressburger
2020
|
Electronic Proceedings in Theoretical Computer Science
doi:10.4204/eptcs.329.3
3,339
Known Releases
Open Access Publication
Preservation Status
| 1,516 | preserved and accessble (bright) | |
| 0 | preserved, inaccessible (dark) | |
| 1,823 | no known preservation |
Work Types
article-journal
| 3,339 |
Lookup Links