Normal view
MARC view
Michal Hospodár, Galina Jirásková, Stavros Konstantinidis (Personal Name)
Machine generated authority record
Work cat.: (OSt)1640052: Michal Hospodár, Galina Jirásková, Stavros Konstantinidis, Descriptional Complexity of Formal Systems