Search Results - "Mathematical Logic and Formal Languages"

Suggested Topics within your search.
  • Showing 1 - 8 results of 8
Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    Cover Image

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

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

    Save to List
    Saved in:
  4. 4
    Cover Image

    Graph Structures for Knowledge Representation and Reasoning 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers

    Published 2021
    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:
  5. 5
    Cover Image

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

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

    Save to List
    Saved in:
  6. 6
    Cover Image

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

    Published 2021
    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:
  7. 7
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

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

    Save to List
    Saved in:
  8. 8
    Cover Image

    Foundations of Software Science and Computation Structures 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Sof...

    Published 2021
    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:

Search Tools: