Showing 101 - 120 results of 2,051 for search 'interpretability logic', query time: 0.52s Refine Results
  1. 101
    Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 102
    Static Analysis 24th International Symposium, SAS 2017, New York, NY, USA, August 30 – September 1, 2017, Proceedings /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 103
    Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 104
    Static Analysis 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings /
    Published 2014
    Table of Contents: “…Static analysis -- Including abstract interpretation -- Abstract testing -- Bug detection -- Data…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 105
    Programming Languages and Systems 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 106
    Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
    Published 2005
    Table of Contents: “…? -- Contributed Papers -- Untyped Algorithmic Equality for Martin-Löf’s Logical Framework with Surjective Pairs…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 107
    Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
    Published 2007
    Table of Contents: “…On a Logical Foundation for Explicit Substitutions -- From Proof-Nets to Linear Logic Type Systems…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 108
    Static Analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
    Published 2012
    Table of Contents: “…Static analysis -- Including abstract domains -- Abstract interpretation -- Abstract testing…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 109
    Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 110
    Specification, Algebra, and Software Essays Dedicated to Kokichi Futatsugi /
    Published 2014
    Table of Contents: “… of Formal Verification Processes -- CafeOBJ Traces -- Parchments for CafeOBJ Logics -- Incremental Proofs…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 111
    Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 112
    Deontic Logic in Computer Science 10th International Conference, DEON 2010, Fiesole, Italy, July 7-9, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- Towards a Logical Analysis of the Judgment on Facts -- Deontic Redundancy: A Fundamental Challenge…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 113
    New Directions in Logic, Language and Computation ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
    Published 2012
    Subjects: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 114
    Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
    Published 2004
    Table of Contents: “…Invited Lectures -- Notions of Average-Case Complexity for Random 3-SAT -- Abstract Interpretation…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 115
    Abstract Computing Machines A Lambda Calculus Perspective /
    by Kluge, W.
    Published 2005
    Table of Contents: “… and Others -- Toward Full-Fledged ?-Calculus Machines -- Interpreted Head-Order Graph Reduction -- The B…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 116
    Semantics with Applications: An Appetizer
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 117
    Abstract State Machines 2004. Advances in Theory and Practice 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings /
    Published 2004
    Table of Contents: “… Intermediate Representations -- Observations on the Decidability of Transitions -- A Security Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 118
    Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 119
    Freud on Interpretation The Ancient Magical Egyptian and Jewish Traditions /
    by Rieber, Robert W.
    Published 2012
    Table of Contents: “… and Natural Law -- Thermodynamics and Information -- Logic of Interpretation -- The Human Mind as Object…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 120
    The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /
    Published 2013
    Subjects: “…Mathematical logic.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search