Filter by: Subject
Now showing items 1-10
Adecuación computacional (1) |
Bracketing (1) |
Categorical semantics (1) |
Coherencia (1) |
Corrección de compiladores (1) |
Denotational semantics (1) |
Logic and verification (1) |
Mecanización (1) |
Operational semantics (1) |
Relaciones lógicas (1) |