Showing 1 - 20 results of 2,051 for search 'interpretability logic', query time: 0.10s Refine Results
  1. 1
    Interpreted Languages and Compositionality
    by Kracht, Marcus
    Published 2011
    Subjects: “…Logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Modality, Semantics and Interpretations The Second Asian Workshop on Philosophical Logic /
    Published 2015
    Subjects: “…Logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Language, Meaning, Interpretation
    Published 2005
    Subjects: “…Logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Language, Meaning, Interpretation
    Published 2005
    Subjects: “…Logic 64716…”
    Get full text
    Electronic Kit Book
  5. 5
    Spectral Interpretation of Decision Diagrams
    Table of Contents: “… on Groups -- Spectral Interpretation of Decision Diagrams -- Advanced Topics in Decision Trees and Diagrams…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Line Drawing Interpretation
    by Cooper, Martin
    Published 2008
    Table of Contents: “… Projections -- Simplification of Combinatorial Problems -- Tractability of Drawing Interpretation -- 3D…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    A history and interpretation of the logic of Hegel
    by Rinaldi, Giacomo
    Published 1992
    Book
  8. 8
    Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
    Published 2014
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation and abstract domains -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Verification, Model Checking, and Abstract Interpretation 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 11
    Verification, Model Checking, and Abstract Interpretation 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 12
    Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
    Published 2016
    Table of Contents: “…Abstract Interpretation -- Abstraction -- Hybrid and Timed Systems -- Dynamic and Static…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 13
    Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
    Published 2015
    Table of Contents: “…Program verification -- Model checking -- Abstract interpretation -- Abstract domains -- Program…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 14
    Verification, Model Checking, and Abstract Interpretation 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Modal Logics -- Using Abstract Interpretation to Correct Synchronization Faults -- Property Directed…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 15
    Analysis and Interpretation in the Exact Sciences Essays in Honour of William Demopoulos /
    Published 2012
    Table of Contents: “…1 Analysis and Interpretation in the Philosophy of Modern Physics; Robert DiSalle -- Part I…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 16
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Published 2007
    Table of Contents: “… of Shape and Size Properties Via Separation Logic -- Invited Talk -- Towards Shape Analysis for Device…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 17
    Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
    Published 2008
    Table of Contents: “…Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions -- CTL as an Intermediate…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 18
    Verification, Model Checking, and Abstract Interpretation 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Interpretation of the Quasi-synchronous Composition of Synchronous Programs -- Termination of Polynomial Programs…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 19
    Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 20
    Verification, Model Checking, and Abstract Interpretation 5th International Conference, VMCAI 2004 Venice, Italy, January 11-13, 2004 Proceedings /
    Published 2004
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search