Vol-114⫷ Vol-115 ⫸Vol-116
urn:nbn:de:0074-115-0


Vol-115/paper-9⫷Vol-115/paper-10

Deciding Weak Monadic Second-order Logics using Complex-value Datalog