Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση '"two-variable logic"', χρόνος αναζήτησης: 0,06δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computer Science Logic 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… Logic -- Two-Variable Logic with Two Order Relations -- Signature Extensions Preserve Termination -- Coq…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings /
    Έκδοση 2010
    Πίνακας περιεχομένων: “… -- On the Satisfiability of Two-Variable Logic over Data Words -- Generic Methods for Formalising Sequent Calculi Applied…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    STACS 97 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27 - March 1, 1997 Proceedings /
    Έκδοση 1997
    Πίνακας περιεχομένων: “…-variable logics -- Methods and applications of (max,+) linear algebra -- Regular expressions and context…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Mathematical Foundations of Computer Science 2007 32nd International Symposium, MFCS 2007 Český Krumlov, Czech Republic, August 26-31, 2007 Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “…-Variable Logic and Weakly Blocked Monoids -- Complexity I -- Combinatorial Proof that Subprojective…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email