Verifiers and Generators: Epistemic Semantics for Intuitionistic Logic (Long Version)
Volver al Detalle
2026
Citas: 0
Origen de Colaboraciones Internacionales
Colaboradores
| Nombre | Ubicación / País |
|---|---|
| Pablo Barenbaum | France |