Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Abstract data types
3
Abstracting
3
Algorithms
3
Bound variables
3
Classical logic
3
Compositional semantics
3
Dynamic frame
3
Flattening operator
3
Formal Semantics
3
Formal methods
3
Full abstraction
3
Game theory
3
Independence friendly logic
3
Machinery
3
Non-circular
3
Non-trivial
3
Programming language
3
Regular formulas
3
Semantics
3
Signaling
3
Structural invariants
3
Theory of dynamics
3
Trees (mathematics)
3
Valuation
3
-
1Materias: “...Full abstraction...”
Artículo publishedVersion -
2Materias: “...Full abstraction...”
Artículo publishedVersion -
3Materias: “...Full abstraction...”
JOUR -
4Materias: “...Abstract data types...”
Artículo publishedVersion -
5Materias: “...Abstract data types...”
Artículo publishedVersion -
6Materias: “...Abstract data types...”
SER