Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
3
@ operators
2
Biorthogonality
2
Characterization
2
Compiler verification
2
Complexity
2
Definability
2
Dynamic logics
2
Expressivity
2
Higher-order modal logic
2
Hybrid logic
2
Modal logic
2
Model theory
2
Nominals
2
Proof assistants
2
Saturation
2
Separation
2
Simulation
2
Step-indexed logical relations
2
Type theory
2
Logical characterization
1
Probabilistic transition systems
1
Transition relation over distributions
1
Weak bisimulations
1
-
1
-
2
-
3
-
4
-
5Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
6Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
7
-
8Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
9