| langue originale | Anglais |
|---|---|
| journal | Leibniz International Proceedings in Informatics, LIPIcs |
| Volume | 84 |
| état | Publié - 1 sept. 2017 |
| Evénement | 2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017 - Oxford, Royaume-Uni Durée: 3 sept. 2017 → 9 sept. 2017 |
Contient cette citation
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver