4 results
Preface for the special issue in homage to Martin Hofmann Part 2
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 6 / June 2022
- Published online by Cambridge University Press:
- 02 February 2023, pp. 682-684
-
- Article
-
- You have access
- HTML
- Export citation
Preface for the special issue in homage to Martin Hofmann Part 1
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 21 June 2022, pp. 950-952
-
- Article
-
- You have access
- HTML
- Export citation
Property-oriented semantics of structured specifications†
-
- Journal:
- Mathematical Structures in Computer Science / Volume 24 / Issue 2 / April 2014
- Published online by Cambridge University Press:
- 08 October 2013, e240205
-
- Article
- Export citation
Observational interpretation of Casl specifications
-
- Journal:
- Mathematical Structures in Computer Science / Volume 18 / Issue 2 / April 2008
- Published online by Cambridge University Press:
- 01 April 2008, pp. 325-371
-
- Article
- Export citation