 |
|
|
|
| HAL : hal-00148547, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| Journal of Logic and Computation 15 (2005) 901-947 |
|
|
|
|
| Relating Higher-Order and First-Order Rewriting |
|
|
| Eduardo Bonelli 1Delia Kesner 2 |
|
|
| (2005) |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Universidad Nacional de La Plata (LIFIA) |
|
|
|
Universidad Nacional de la Plata |
|
|
| 2 : | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
| 3 : | Departamento de Computacion Facultad de Ciencias Exactas y Naturales |
|
|
|
Universidad de Buenos Aires |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Langage de programmation |
| hal-00148547, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00148547 | |
| oai:hal.archives-ouvertes.fr:hal-00148547 | |
| Contributeur : Delia Kesner | |
| Soumis le : Mardi 22 Mai 2007, 17:08:49 | |
| Dernière modification le : Mardi 22 Mai 2007, 17:08:49 | |
