Axiomatic Sharing-via-Labelling - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Axiomatic Sharing-via-Labelling

Thibaut Balabonski
Fichier non déposé

Dates et versions

hal-00698569 , version 1 (16-05-2012)

Identifiants

  • HAL Id : hal-00698569 , version 1

Citer

Thibaut Balabonski. Axiomatic Sharing-via-Labelling. 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, May 2012, Japan. pp.Unknown. ⟨hal-00698569⟩
22 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More