MPG.eBooks - Search Results - "Formal Semantics"

Search alternatives:
semantics » semantic

Cover Image

1

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

by Lochbihler, Andreas
Published 2012

KIT Scientific Publishing

Subjects: “...formal semantics...”

Cover Image

2

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

by Wasserrab, Daniel
Published 2011

KIT Scientific Publishing

Subjects: “...Formal Semantics...”

Cover Image

3

Bridging Formal and Conceptual Semantics : Selected papers of BRIDGE-14

by Balogh, Kata
Published 2017

De Gruyter

Subjects: “...formal semantics...”

Cover Image

4

Sémantique formelle: Volume 1 : Introduction à la grammaire de Montague

by Roussarie, Laurent
Published 2017

Language Science Press

Subjects: “...formal semantics...”

Cover Image

5

Kvantifikacijski vidiki logične oblike v minimalistični teoriji jezika

by Živanović, Sašo
Published 2015

ZRC SAZU, Založba ZRC

Subjects: “...formal semantics...”

Cover Image

6

Computational Cognitive Modeling and Linguistic Theory

by Brasoveanu, Adrian
Published 2020

Springer Nature

Subjects: “...Meaning Representations in Formal Semantics...”

Cover Image

7

Artificial Intelligence for Multisource Geospatial Information

by Bordogna, Gloria
Published 2023

MDPI - Multidisciplinary Digital Publishing Institute

Subjects: “...formal semantics...”