Search Results - "formal"

Suggested Topics within your search.
Refine Results
  1. 41
    Cover Image

    Principles of Security and Trust: 7th International Conference, POST 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloni...

    Published 2018
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  2. 42
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice... by Dirk Beyer

    Published 2018
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 43
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Formal Languages and Automata Theory.…”
    Link to Metadata
    Electronic eBook

    Save to List
    Saved in:
  4. 44
    Cover Image

    Práticas de Caridade e Assistência em Évora (1650-1750) by Rute Pardal

    Published 2015
    Subjects: “…assistência formal…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  5. 45
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

    Published 2018
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  6. 46
    Cover Image

    Tools and Algorithms for the Construction and Analysis of Systems: 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice...

    Published 2018
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  7. 47
    Cover Image

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

    Published 2022
    Subjects: “…formal models…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 48
    Cover Image

    Chapter Nabladot Analysis of Hybrid Theories in International Relations by Cioffi-Revilla, Claudio

    Published 2022
    Subjects: “…formal models…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 49
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  10. 50
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  11. 51
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  12. 52
    Cover Image

    Lazy Evaluation: From natural semantics to a machine-checked compiler transformation by Breitner, Joachim

    Published 2016
    Subjects: “…Funktionale Programmierung Formale Verifikation Semantik Isabelle HaskellFunctional Programming Semantics Formal Verification Haskell Isabelle…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  13. 53
    Cover Image

    Specification and verification of object-oriented software components by Roth, Andreas

    Published 2006
    Subjects: “…formal specification…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  14. 54
    Cover Image

    Advances in Proof-Theoretic Semantics

    Published 2016
    Subjects: “…Mathematical Logic and Formal Languages…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  15. 55
    Cover Image

    Schola Be a Volunteer, Succeed at School

    Published 2018
    Subjects: “…formal education…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  16. 56
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  17. 57
    Cover Image

    Computer Aided Verification 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part I

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  18. 58
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  19. 59
    Cover Image

    Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings

    Published 2021
    Subjects: “…formal logic…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  20. 60
    Cover Image

    Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018,... by Amal Ahmed

    Published 2018
    Subjects: “…formal logic…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:

Search Tools: