Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal Semantics
Semantics
10
Formal methods
8
Bound variables
6
Game theory
6
Abstracting
4
Classical logic
4
Compositional semantics
4
Flattening operator
4
Full abstraction
4
Independence friendly logic
4
Regular formulas
4
Signaling
4
Valuation
4
Architecture
2
Automata-based formalisms
2
Automated Legislative Drafting
2
Behavior analysis
2
Building systems
2
Canning
2
Classical logics
2
Composition of services
2
Compositionality
2
Computer software reusability
2
Concurrent interactions
2
Contract Verification
2
Engineers
2
Formal studies
2
Fuzzy logic
2
Heidelberg (CO)
2
-
1
-
2
-
3
-
4
-
5
-
6Artículo publishedVersion
-
7Artículo publishedVersion
-
8
-
9
-
10
-
11