 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00698569, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Japan (2012) |
|
|
|
|
| Axiomatic Sharing-via-Labelling |
|
|
| Thibaut Balabonski 1 |
|
|
| (28/05/2012) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Théorie et langage formel |
| hal-00698569, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00698569 | |
| oai:hal.archives-ouvertes.fr:hal-00698569 | |
| Contributeur : Thibaut Balabonski | |
| Soumis le : Mercredi 16 Mai 2012, 17:42:34 | |
| Dernière modification le : Mercredi 16 Mai 2012, 17:42:34 | |
