Search Results - "formal semantics"

Suggested Topics within your search.
  • Showing 1 - 11 results of 11
Refine Results
  1. 1
    Cover Image

    A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler by Lochbihler, Andreas

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

    Save to List
    Saved in:
  2. 2
    Cover Image

    From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security by Wasserrab, Daniel

    Published 2011
    Subjects: “…Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  3. 3
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14

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

    Save to List
    Saved in:
  4. 4
    Cover Image

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague by Roussarie, Laurent

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

    Save to List
    Saved in:
  5. 5
    Cover Image

    Sémantique formelle: Volume 1 Introduction à la grammaire de Montague by Roussarie, Laurent

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

    Save to List
    Saved in:
  6. 6
    Cover Image

    Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika by Živanović, Sašo

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

    Save to List
    Saved in:
  7. 7
    Cover Image

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Meaning Representations in Formal Semantics…”
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  8. 8
    Cover Image

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian

    Published 2020
    Subjects: “…Meaning Representations in Formal Semantics…”
    OAPEN Library: download the publication
    OAPEN Library: description of the publication
    Electronic Book Chapter

    Save to List
    Saved in:
  9. 9
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 by Balogh, Kata

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

    Save to List
    Saved in:
  10. 10
    Cover Image

    Bridging Formal and Conceptual Semantics Selected papers of BRIDGE-14 by Balogh, Kata

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

    Save to List
    Saved in:
  11. 11
    Cover Image

    Artificial Intelligence for Multisource Geospatial Information

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

    Save to List
    Saved in:

Search Tools: