Deciding Second-order Logics using Database Evaluation Techniques

Deciding Second-order Logics using Database Evaluation Techniques

Show other versions (1)

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 of μ-calculus, to the problem of query evaluation of Complex-value Datalog queri...

Full description

Bibliographic Details
Main Author: Unel, Gulay
Language:en
Published: 2008
Subjects:
Automata
Logics
Database
Query Evaluation
Computer Science
Online Access:http://hdl.handle.net/10012/4044

Internet

http://hdl.handle.net/10012/4044

Similar Items