 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL : hal-00686794, version 1 |
| Fiche détaillée |  Récupérer au format |
 |
| International Conference on Rewriting Techniques and Applications (RTA), Nagoya : Japan (2012) |
|
|
|
|
| Normalisation for Dynamic Pattern Calculi |
|
|
| Eduardo Bonelli 1, 2Delia Kesner 3 |
|
|
| (30/05/2012) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET) |
|
|
|
University of Buenos Aires |
|
|
| 2 : | Universidad Nacional de Quilmes |
|
|
|
Universidad Nacional de Quilmes |
|
|
| 3 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 4 : | Departamento de Computacion Facultad de Ciencias Exactas y Naturales |
|
|
|
Universidad de Buenos Aires |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
| hal-00686794, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00686794 | |
| oai:hal.archives-ouvertes.fr:hal-00686794 | |
| Contributeur : Delia Kesner | |
| Soumis le : Mercredi 11 Avril 2012, 11:29:49 | |
| Dernière modification le : Mardi 26 Juin 2012, 16:56:02 | |
