Existential Second−Order Logic over Strings

מידע ביבליוגרפי
Main Authors: Eiter, T, Gottlob, G, Gurevich, Y
פורמט: Conference item
יצא לאור: 1998