Showing 261 - 280 results of 2,051 for search 'interpretability logic', query time: 0.19s Refine Results
  1. 261
    Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 262
    Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Arctic Termination ...Below Zero -- Logics and Automata for Totally Ordered Trees -- Diagram Rewriting…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 263
    Reliable Software Technologies – Ada-Europe 2014 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 264
    Tests and Proofs 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 265
    Theoretical Aspects of Computing – ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “…Invited Speakers -- A Rewriting Logic Sampler -- Codes and Length-Increasing Transitive Binary…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 266
    Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
    Published 2006
    Table of Contents: “… Logic -- Certified Higher-Order Recursive Path Ordering -- Dealing with Non-orientable Equations…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 267
    Applications and Theory of Petri Nets 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 268
    Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 269
    Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings /
    Published 2017
    Table of Contents: “… Logics -- Compositional Model Checking is Lively -- Safety Analysis of Software Components of a Dialysis…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 270
    Foundations of Software Science and Computational Structures 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Table of Contents: “… for Reduced ML -- Logics and Bisimulation Games for Concurrency, Causality and Conflict -- Logics and Automata…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 271
    Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 272
    Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Term Rewriting -- Universal Algebra for Termination of Higher-Order Rewriting -- Quasi-interpretations…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 273
    Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “… -- On a Logical Foundation for Explicit Substitutions -- Intruders with Caps -- Tom: Piggybacking…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 274
    Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “…Weyl’s Predicative Classical Mathematics as a Logic-Enriched Type Theory -- Crafting a Proof…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 275
    Automated Technology for Verification and Analysis 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings /
    Published 2009
    Table of Contents: “… Reduction Technique for Temporal-epistemic Logic -- Tools -- TAPAAL: Editor, Simulator and Verifier of Timed…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 276
    Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 277
    Tests and Proofs 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 278
    Tests and Proofs 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 279
    Model Checking Software 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
    by Pol, Jaco
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  20. 280
    Programming Languages An Active Learning Approach /
    by Lee, Kent
    Published 2008
    Table of Contents: “… -- Logic Programming -- Formal Semantics -- Appendix A: The C++ Scanner Class Implementation -- Appendix B…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search