 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00686794, version 1 |
| Detailed view |  Export this paper |
 |
| International Conference on Rewriting Techniques and Applications (RTA), Nagoya : Japan (2012) |
|
|
|
|
| Normalisation for Dynamic Pattern Calculi |
|
|
| Eduardo Bonelli 1, 2Delia Kesner 3 |
|
|
| (2012-05-30) |
|
|
|
|
|
|
|
|
|
|
|
| 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 |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Programming Languages |
| hal-00686794, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00686794 | |
| oai:hal.archives-ouvertes.fr:hal-00686794 | |
| From: Delia Kesner | |
| Submitted on: Wednesday, 11 April 2012 11:29:49 | |
| Updated on: Tuesday, 26 June 2012 16:56:02 | |
