Ir al contenido

Documat


A semantic characterisation of the correctness of a proof net


Fundación Dialnet

Mi Documat

Opciones de artículo

Opciones de compartir

Opciones de entorno