Результаты исследований: Глава в книге, отчете, сборнике статей › Материалы конференции › Рецензирование
Язык оригинала | Английский |
---|---|
Название основной публикации | Descriptional Complexity of Formal Systems - 18th IFIP WG 1.2 International Conference, DCFS 2016, Proceedings |
Издатель | Springer Verlag |
Страницы | 1-17 |
Число страниц | 17 |
Том | 9777 |
ISBN (печатное издание) | 9783319411132 |
DOI | |
Состояние | Опубликовано - 2016 |
Событие | 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 - Bucharest Продолжительность: 5 июл. 2016 → 8 июл. 2016 |
Название | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Том | 9777 |
ISSN (печатное издание) | 03029743 |
ISSN (электронное издание) | 16113349 |
Конференция | 18th IFIP WG 1.2 International Conference on Descriptional Complexity of Formal Systems, DCFS 2016 |
---|---|
Город | Bucharest |
Период | 05/07/2016 → 08/07/2016 |
ID: 1059659