3 results
ON THE FRAGILITY OF INTERPOLATION
- Part of
-
- Journal:
- The Journal of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 21 March 2024, pp. 1-38
-
- Article
-
- You have access
- Open 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