default search action
Electronic Notes in Theoretical Informatics and Computer Science (ENTICS)
- 5Clemens Kupke, Stefan Milius:
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025. Electronic Notes in Theoretical Informatics and Computer Science 5, EpiSciences 2025 [contents] - 4Valeria de Paiva, Alex Simpson:
Proceedings of the 40th Conference on the Mathematical Foundations of Programming Semantics, MFPS XL, Oxford, UK, June 17-21, 2024. Electronic Notes in Theoretical Informatics and Computer Science 4, EpiSciences 2024 [contents] - 3Marie Kerjean, Paul Blain Levy:
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023. Electronic Notes in Theoretical Informatics and Computer Science 3, EpiSciences 2023 [contents] - 2Weng Kin Ho, Dongsheng Zhao, Achim Jung, Guo-Qiang Zhang:
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, ISDT 2022, Singapore, July 4-6, 2022. Electronic Notes in Theoretical Informatics and Computer Science 2, EpiSciences 2022 [contents] - 1Justin Hsu, Christine Tasson:
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022. Electronic Notes in Theoretical Informatics and Computer Science 1, EpiSciences 2022 [contents]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.