Künye "Unel, G., & Toman, D. (2017). Logic programming approach to automata-based decision procedures. Journal of Logical and Algebraic Methods in Programming, 86(1), 391-407. doi:10.1016/j.jlamp.2016.02.005" Fen Edebiyat Fakültesi / Faculty of Arts and Sciences için listeleme
Toplam kayıt 1, listelenen: 1-1
-
Logic programming approach to automata-based decision procedures
(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 ...