Showing 1 - 3 results of 3 for search 'ΦΟΥΣΤΟΥΚΟΥ, ΕΥΓΕΝΙΑ', query time: 0.01s Refine Results
  1. 1
    Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
    Get full text
    Technical Report
  2. 2
    On model-theoretic approaches to monadic second-order logic evaluation
    Get full text
    Technical Report
  3. 3
    Undecidability results concerning Datalog programms and their persistency numbers. cti Technical Report No. TR 2002/12/03
    Book
Search Tools: RSS Feed – Email Search