Special Issue of EPTCS (vol 179) for DCM 2014

Ouvrages Année : 2015

(1) ,

1

Russ Harmer

Preuves et Langages

Ugo Dal Lago

Théorie et langage formel [cs.FL] Logique en informatique [cs.LO]

https://hal.science/hal-02132689

Soumis le : vendredi 17 mai 2019-14:00:17

Dernière modification le : jeudi 11 mai 2023-11:56:12

hal-02132689 , version 1 (17-05-2019)

Russ Harmer, Ugo Dal Lago (Dir.). Special Issue of EPTCS (vol 179) for DCM 2014. 2015. ⟨hal-02132689⟩

ENS-LYON CNRS INRIA UNIV-LYON1 UDL

34 Consultations

0 Téléchargements