Local testability from words to traces, a suitable definition - Normandie Université Accéder directement au contenu
Article Dans Une Revue Theoretical Computer Science Année : 2017

Dates et versions

hal-02120299 , version 1 (05-05-2019)

Identifiants

Citer

Giovanna Guaiana. Local testability from words to traces, a suitable definition. Theoretical Computer Science, 2017, 658, pp.175-189. ⟨10.1016/j.tcs.2016.06.023⟩. ⟨hal-02120299⟩
22 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More