Proceedings of the 30th conference on Mathematical Foundations of Programming Semantics ( MFPS XXX) : Preface
- Jacobs, B.
- Silva, A.
- Staton, S.
DOIAbstract
Contains fulltext : 132648.pdf (publisher's version ) (Closed access
Contains fulltext : 132648.pdf (publisher's version ) (Closed access
AbstractForewordThis volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the M...
none4This is a preface to the Proceedings of the First IFIP Entertainment Computing Symposium - 20th...
Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p
This volume collects papers presented at the 30th Annual Conference on Mathematical Foundations of P...
AbstractThis volume contains the Proceedings of the Fifteenth Conference on the Mathematical Foundat...
AbstractForeword This volume contains the Proceedings of the Thirteenth Conference on the Mathematic...
AbstractForewordThis volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the M...
AbstractForeword This volume contains the Proceedings of the Thirteenth Conference on the Mathematic...
AbstractForeword and DedicationThis volume contains the Proceedings of the Eleventh Conference on th...
AbstractThis volume contains the Proceedings of the Fifteenth Conference on the Mathematical Foundat...
Contains fulltext : 209262.pdf (publisher's version ) (Open Access)EXPRESS/SOS 201...
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
Contains fulltext : 79240.pdf (publisher's version ) (Closed access)130 p p
Contains fulltext : 66550.pdf (preprint version ) (Open Access)24th Conference on ...
AbstractForewordThis volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the M...
none4This is a preface to the Proceedings of the First IFIP Entertainment Computing Symposium - 20th...
Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p
This volume collects papers presented at the 30th Annual Conference on Mathematical Foundations of P...
AbstractThis volume contains the Proceedings of the Fifteenth Conference on the Mathematical Foundat...
AbstractForeword This volume contains the Proceedings of the Thirteenth Conference on the Mathematic...
AbstractForewordThis volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the M...
AbstractForeword This volume contains the Proceedings of the Thirteenth Conference on the Mathematic...
AbstractForeword and DedicationThis volume contains the Proceedings of the Eleventh Conference on th...
AbstractThis volume contains the Proceedings of the Fifteenth Conference on the Mathematical Foundat...
Contains fulltext : 209262.pdf (publisher's version ) (Open Access)EXPRESS/SOS 201...
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
Preface of the Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022
Contains fulltext : 79240.pdf (publisher's version ) (Closed access)130 p p
Contains fulltext : 66550.pdf (preprint version ) (Open Access)24th Conference on ...
AbstractForewordThis volume contains the Proceedings of MFPS 17, the Seventeenth Conference on the M...
none4This is a preface to the Proceedings of the First IFIP Entertainment Computing Symposium - 20th...
Contains fulltext : 72204.pdf (publisher's version ) (Open Access)244 p
Add to ORKG