 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00698569, version 1 |
| Detailed view |  Export this paper |
 |
| 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Japan (2012) |
|
|
|
|
| Axiomatic Sharing-via-Labelling |
|
|
| Thibaut Balabonski 1 |
|
|
| (2012-05-28) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Formal Languages and Automata Theory |
| hal-00698569, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00698569 | |
| oai:hal.archives-ouvertes.fr:hal-00698569 | |
| From: Thibaut Balabonski | |
| Submitted on: Wednesday, 16 May 2012 17:42:34 | |
| Updated on: Wednesday, 16 May 2012 17:42:34 | |
