ISSN Portal
The Keepers Registry (preservation)
SHERPA/RoMEO (access policies)
Electronical Notes in Theoretical Computer Science
container_uy5mv2ncw5eahkdx47hkrglxmm
Elsevier
Homepage URLs
http://www.elsevier.com/locate/entcs |
https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science |
Example Publications
Synthetic Topologyof Data Types and Classical Spaces
M ESCARDO
2004
|
Electronical Notes in Theoretical Computer Science
doi:10.1016/s1571-0661(04)05135-7
Uniform Domains and Uniform Spaces(Abstract)
H TSUIKI
2004
|
Electronical Notes in Theoretical Computer Science
doi:10.1016/s1571-0661(04)05093-5
On the Ubiquity of Certain Total Type Structures(Extended Abstract)
J LONGLEY
2004
|
Electronical Notes in Theoretical Computer Science
doi:10.1016/s1571-0661(04)05085-6
Presenting Locale Pullback Via Directed Complete PosetsExtended Abstract
C TOWNSEND
2004
|
Electronical Notes in Theoretical Computer Science
doi:10.1016/s1571-0661(04)05092-3
Token-passing Nets for Functional Languages
José Bacelar Almeida, Jorge Sousa Pinto, Miguel Vilaça
2008
|
Electronical Notes in Theoretical Computer Science
doi:10.1016/j.entcs.2008.03.061