Εμφανίζονται 1 - 20 Αποτελέσματα από 2.051 για την αναζήτηση 'interpretability logic', χρόνος αναζήτησης: 0,09δλ Περιορισμός αποτελεσμάτων
  1. 1
    Interpreted Languages and Compositionality
    ανά Kracht, Marcus
    Έκδοση 2011
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Modality, Semantics and Interpretations The Second Asian Workshop on Philosophical Logic /
    Έκδοση 2015
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Language, Meaning, Interpretation
    Έκδοση 2005
    Θέματα: “…Logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Language, Meaning, Interpretation
    Έκδοση 2005
    Θέματα: “…Logic 64716…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  5. 5
    Spectral Interpretation of Decision Diagrams
    ανά Stanković, Radomir S., Astola, Jaakko T.
    Έκδοση 2003
    Πίνακας περιεχομένων: “… on Groups -- Spectral Interpretation of Decision Diagrams -- Advanced Topics in Decision Trees and Diagrams…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Line Drawing Interpretation
    ανά Cooper, Martin
    Έκδοση 2008
    Πίνακας περιεχομένων: “… Projections -- Simplification of Combinatorial Problems -- Tractability of Drawing Interpretation -- 3D…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  7. 7
    A history and interpretation of the logic of Hegel
    ανά Rinaldi, Giacomo
    Έκδοση 1992
    Βιβλίο
  8. 8
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Έκδοση 2013
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  9. 9
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Έκδοση 2014
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  10. 10
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Έκδοση 2011
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  11. 11
    Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
    Έκδοση 2012
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  12. 12
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Έκδοση 2016
    Πίνακας περιεχομένων: “…Abstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  13. 13
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Έκδοση 2015
    Πίνακας περιεχομένων: “…Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  14. 14
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Έκδοση 2017
    Πίνακας περιεχομένων: “… Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  15. 15
    Analysis and Interpretation in the Exact Sciences Essays in Honour of William Demopoulos /
    Έκδοση 2012
    Πίνακας περιεχομένων: “…1 Analysis and Interpretation in the Philosophy of Modern Physics; Robert DiSalle -- Part I…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  16. 16
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Έκδοση 2007
    Πίνακας περιεχομένων: “… of Shape and Size Properties Via Separation Logic -- Invited Talk -- Towards Shape Analysis for Device…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  17. 17
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Έκδοση 2008
    Πίνακας περιεχομένων: “…Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  18. 18
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Έκδοση 2005
    Πίνακας περιεχομένων: “… Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  19. 19
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Έκδοση 2006
    Πίνακας περιεχομένων: “… Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  20. 20
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Έκδοση 2004
    Θέματα: “…Computer logic.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email