Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstracting
Algebra
1
Alloy
1
Automatic analysis
1
Automation
1
Bound variables
1
Classical logic
1
Compositional semantics
1
Computer programming languages
1
Dynamic logic
1
Flattening operator
1
Fork algebras
1
Formal Semantics
1
Formal logic
1
Formal methods
1
Full abstraction
1
Game theory
1
Independence friendly logic
1
Logic design
1
Problem solving
1
Regular formulas
1
Relational specifications
1
Semantics
1
Signaling
1
Valuation
1
-
1Materias: “...Formal Semantics...”
JOUR -
2Materias: “...Formal logic...”
JOUR