Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"Tree automata"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Automata-theoretic and datalog-based solutions of monadic second-order logic evaluation problems over structures of bounded-treewidth
    Θέματα: “…Tree automata…”
    Λήψη πλήρους κειμένου
    Technical Report
  2. 2
    On model-theoretic approaches to monadic second-order logic evaluation
    Θέματα: “…Tree automata…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email