Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
Extending Wagner’s hierarchy to deterministic visibly pushdown automata. / Селиванов, Виктор Львович.
Unity of Logic and Computation (CiE 2023). Springer Nature, 2023. стр. 190-201 (LNCS; Том 13967).Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование
}
TY - GEN
T1 - Extending Wagner’s hierarchy to deterministic visibly pushdown automata
AU - Селиванов, Виктор Львович
N1 - V. Selivanov. Extending Wagner’s hierarchy to deterministic visibly pushdown automata. G. Della Vedova et al. (Eds.): CiE 2023, LNCS 13967, pp. 190–201, 2023. DOI: 10.1007/978-3-031-36978-0_16
PY - 2023
Y1 - 2023
U2 - 10.1007/978-3-031-36978-0_16
DO - 10.1007/978-3-031-36978-0_16
M3 - Conference contribution
T3 - LNCS
SP - 190
EP - 201
BT - Unity of Logic and Computation (CiE 2023)
PB - Springer Nature
T2 - Computability in Europe-2023
Y2 - 24 July 2023
ER -
ID: 126990648