Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Abstracting
1
Algorithms
1
Backwards verification
1
Bound variables
1
Chaos theory
1
Chaotic iteration
1
Classical logic
1
Compositional semantics
1
Finite automata
1
Fixpoint
1
Flattening operator
1
Formal Semantics
1
Formal logic
1
Formal methods
1
Full abstraction
1
Game theory
1
Independence friendly logic
1
Iterative methods
1
Mathematical models
1
Mathematical operators
1
Regular formulas
1
Set theory
1
Signaling
1
Timed automata (TA)
1
Valuation
1
-
1Materias: “...Independence friendly logic...”
Artículo publishedVersion -
2Materias: “...Formal logic...”
Artículo publishedVersion