Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal methods
Semantics
16
Formal Semantics
8
Formal specification
6
Abstracting
4
Bound variables
4
Classical logic
4
Compositional semantics
4
Computer hardware description languages
4
Flattening operator
4
Full abstraction
4
Game theory
4
Independence friendly logic
4
Regular formulas
4
Signaling
4
Specifications
4
Valuation
4
Web services
4
Architecture
2
Automata-based formalisms
2
Automated Legislative Drafting
2
Automated code generation
2
Automated program verification
2
Automation
2
Behavior analysis
2
Building systems
2
C++ (programming language)
2
C++ template library
2
Calculations
2
Category theory
2
-
1Materias: “...Compositional semantics...”
-
2Materias: “...Compositional semantics...”
Artículo publishedVersion -
3Materias: “...Compositional semantics...”
Artículo publishedVersion -
4Materias: “...Compositional semantics...”
JOUR -
5
-
6Materias: “...Semantics...”
SER -
7Publicado 2010Materias: “...Formal Semantics...”
-
8Materias: “...Formal Semantics...”
JOUR -
9Publicado 2001Materias: “...Semantics...”
-
10Materias: “...Semantics...”
CONF -
11Materias: “...Semantics...”
-
12Materias: “...Semantics...”
JOUR -
13Publicado 2015Materias: “...Semantics...”
-
14Materias: “...Semantics...”
JOUR -
15Publicado 2017Materias: “...Semantics...”
-
16