Browsing Theses by Subject "Query Evaluation"
Now showing items 1-1 of 1
-
Deciding Second-order Logics using Database Evaluation Techniques
(University of Waterloo, 2008-09-25)We outline a novel technique that maps the satisfiability problems of second-order logics, in particular WSnS (weak monadic second-order logic with n successors), S1S (monadic second-order logic with one successor), and ...