| Original language | English |
|---|---|
| Journal | Electronic Proceedings in Theoretical Computer Science, EPTCS |
| Volume | 357 |
| State | Published - 08 Apr 2022 |
| Event | 16th Logical and Semantic Frameworks with Applications, LSFA 2021 - Virtual, Buenos Aires, Argentina Duration: 23 Jul 2021 → 24 Jul 2021 |
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver