Existential Second−Order Logic over Strings

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

Existential second−order logic over strings за авторством Eiter, T, Gurevich, Y, Gottlob, G

Опубліковано 2000
Journal article