Browsing by Author "Toman, David"
Now showing items 1-1 of 1
-
Logic programming approach to automata-based decision procedures
Ünel, Gülay; Toman, David (Elsevier Science Inc, 2017-01)We propose a novel technique that reduces the decision problem of WSnS (weak monadic second-order logic with n successors) to the problem of evaluation of Complex-value Datalog queries. We then show how the use of advanced ...