Showing 221 - 240 results of 2,051 for search 'interpretability logic', query time: 0.09s Refine Results
  1. 221
    Fundamental Approaches to Software Engineering 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Security Properties in Dynamic Logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 222
    Model-Based Testing of Reactive Systems Advanced Lectures /
    Published 2005
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 223
    Implementation and Application of Functional Languages 16th International Workshop, IFL 2004, Lübeck, Germany, September 8-10, 2004 Revised Selected Papers /
    Published 2005
    Table of Contents: “… Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 224
    Implementation and Application of Functional Languages 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
    Published 2007
    Table of Contents: “… Logic for Prompt Lazy Assertions in Haskell -- Ivor, a Proof Engine -- Proving Program Properties…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 225
    Model Checking Software 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings /
    Published 2012
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 226
    Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
    Published 2013
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 227
    In Search of Elegance in the Theory and Practice of Computation Essays Dedicated to Peter Buneman /
    Published 2013
    Table of Contents: “… Reasoning in Description Logics with Functionality Constraints -- Toward a Theory of Self-explaining…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 228
    Trends in Functional Programming 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 229
    Drawing Programs: The Theory and Practice of Schematic Functional Programming
    by Addis, Tom, Addis, Jan
    Published 2010
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 230
    Implementation and Application of Functional Languages 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /
    Published 2006
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 231
    DRAWING PROGRAMS:‡The Theory and Practice of Schematic Functional Programming
    by Addis, Tom
    Published 2010
    Subjects: “…Logic design 64563…”
    Get full text
    Electronic Kit Book
  12. 232
    Computational Logic in Multi-Agent Systems 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 233
    Transactions on High-Performance Embedded Architectures and Compilers III
    Published 2011
    Subjects: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 234
    Transactions on High-Performance Embedded Architectures and Compilers IV
    Published 2011
    Subjects: “…Arithmetic and logic units, Computer.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 235
    Reversible Computation 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… for Automatic Design and Verification of Control Logic in Reversible HDLs -- Quantum Computing -- Design…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 236
    Theoretical Aspects of Computing – ICTAC 2016 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
    Published 2016
    Table of Contents: “… -- Specifications -- Composition and transformation -- Automata -- Temporal logics -- Tool and short papers.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 237
    Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
    Published 2016
    Table of Contents: “… of Agents -- Towards Reasoning in Dynamic Logics with Rewriting Logic: the Petri-PDL Case -- Refinement…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 238
    Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 239
    Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 240
    Formal Methods: Foundations and Applications 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
    Published 2015
    Table of Contents: “…LLVM-based code generation for B -- Equational abstractions in rewriting logic and Maude…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search