Showing 1 - 2 results of 2 for search '"Monadic second-order logic"', query time: 0.04s Refine Results
  1. 1
    Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
    Subjects: “…Monadic second-order logic…”
    Get full text
    Technical Report
  2. 2
    On model-theoretic approaches to monadic second-order logic evaluation
    Subjects: “…Monadic second-order logic (MSO) evaluation problem…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search