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