Persistent URL of this record https://hdl.handle.net/1887/3765728
Documents
-
- Download
- Full text
- Accepted Manuscript
-
open access
- Full text at publishers site
In Collections
This item can be found in the following collections:
Dynamic separation logic
- All authors
- Boer, F.S. de; Hiep, H.A.; Gouw, C.P.T. de
- Date
- 2023-11-23
- Volume
- 3