Existential Second−Order Logic over Strings

Библиографические подробности
Главные авторы: Eiter, T, Gottlob, G, Gurevich, Y
Формат: Conference item
Опубликовано: 1998