Showing 281 - 300 results of 2,051 for search 'interpretability logic', query time: 0.19s Refine Results
  1. 281
    NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 282
    NASA Formal Methods 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
    Published 2016
    Table of Contents: “…Requirements and Architectures -- Temporal Logic Framework for Performance Analysis…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 283
    Runtime Verification 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
    Published 2015
    Table of Contents: “… -- Robust Online Monitoring of Signal Temporal Logic -- On Verifying The Hennessy-Milner Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 284
    Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 285
    Static Analysis 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Services -- Program and System Verification -- Closed and Logical Relations for Over- and Under…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 286
    Foundations of Software Science and Computation Structures 7th International Conference, FOSSACS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Proceedings /
    Published 2004
    Table of Contents: “… and Spatial Observations in a Logic for the ?-Calculus -- Election and Local Computations on Edges…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 287
    Mathematics of Program Construction 7th International Conference, MPC 2004, Stirling, Scotland, UK, July 12-14, 2004. Proceedings /
    Published 2004
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 288
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II /
    Published 2017
    Table of Contents: “… for POWER -- Run-Time Verification and Logic. -Rewriting-Based Runtime Verification of Alternation-Free…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 289
    Mathematics of Program Construction 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
    Published 2008
    Table of Contents: “… -- Safe Modification of Pointer Programs in Refinement Calculus -- A Hoare Logic for Call-by-Value…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 290
    Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
    Published 2008
    Table of Contents: “… Languages Generated by Transducers -- Games for Temporal Logics on Trees -- A Run-Time Efficient…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 291
    Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings /
    Published 2007
    Table of Contents: “… of Generalized Satisfiability for Linear Temporal Logic -- Formalising the ?-Calculus Using Nominal Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 292
    Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
    Published 2013
    Table of Contents: “… Monitoring of Temporal Logic Properties in a Platform Game -- Tool Papers -- SMock | A Test Platform…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 293
    Foundations of Software Science and Computation Structures 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Logic of Reachable Patterns in Linked Data-Structures -- Distributed Computation -- Dynamic Policy…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 294
    Programming Languages and Systems 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 295
    Mathematics of Program Construction 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 296
    FM 2006: Formal Methods 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006. Proceedings /
    Published 2006
    Table of Contents: “… Reasoning About Non-atomic Java Card Methods in Dynamic Logic -- Programming Languages -- Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 297
    Static Analysis 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Session 3 -- Abstract Interpretation with Specialized Definitions -- Underapproximating Predicate…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 298
    Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday /
    Published 2013
    Table of Contents: “…Use of a Canonical Hidden-Variable Space in Quantum Mechanics -- Imperfect Information in Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 299
    Programming Languages and Systems 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings /
    Published 2006
    Table of Contents: “… -- Comparing Completeness Properties of Static Analyses and Their Logics -- Polymorphism, Subtyping, Whole…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 300
    FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search