Type- Theoretical Foundations of the Derivation System in Coq
In: IEEE First International Conference on System Analysis & Intelligent Computing (SAIC); (2018-10-01) S. 1-6
Konferenz
Zugriff:
Titel: |
Type- Theoretical Foundations of the Derivation System in Coq
|
---|---|
Autor/in / Beteiligte Person: | Lenko, Vasyl ; Pasichnyk, Volodymyr ; Kunanets, Nataliia ; Shcherbyna, Yuriy |
Quelle: | IEEE First International Conference on System Analysis & Intelligent Computing (SAIC); (2018-10-01) S. 1-6 |
Veröffentlichung: | 2018 |
Medientyp: | Konferenz |
ISBN: | 978-1-5386-7195-5 (print) ; 978-1-5386-7196-2 (print) |
DOI: | 10.1109/SAIC.2018.8516885 |
Sonstiges: |
|