Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Semantics
Abstracting
1
Behavioral model
1
Behavioral modeling
1
Bound variables
1
Classical logic
1
Complexity
1
Compositional semantics
1
Computability and decidability
1
Computer circuits
1
Decidability
1
Declarative Languages
1
Declarative models
1
Declarative semantics
1
Finite model property
1
Flattening operator
1
Formal Description
1
Formal Semantics
1
Formal Specifications
1
Formal logic
1
Formal methods
1
Formal specification
1
Full abstraction
1
Game theory
1
Gödel logics
1
Independence friendly logic
1
Logic-based approach
1
Many valued logics
1
Many-valued logics
1
Modal logic
1
-
1Materias: “...Regular formulas...”
JOUR -
2Materias: “...Regular properties...”
JOUR -
3Materias: “...Regularity condition...”
JOUR