Rewriting Techniques and Applications. 20th International Conference, RTA 2009. Brasília, Brazil, June 29-July 1, 2009. Proceedings. - Archive ouverte HAL Accéder directement au contenu
Ouvrages Année : 2009

Rewriting Techniques and Applications. 20th International Conference, RTA 2009. Brasília, Brazil, June 29-July 1, 2009. Proceedings.

Ralf Treinen
  • Fonction : Directeur scientifique
Preuves, Programmes et Systèmes

Domaines

Logique en informatique [cs.LO]

Ralf Treinen  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00496349

Soumis le : mercredi 30 juin 2010-13:12:17

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00496349 , version 1 (30-06-2010)

Identifiants

  • HAL Id : hal-00496349 , version 1

Citer

Ralf Treinen (Dir.). Rewriting Techniques and Applications. 20th International Conference, RTA 2009. Brasília, Brazil, June 29-July 1, 2009. Proceedings.. Springer Verlag, pp.1-391, 2009. ⟨hal-00496349⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
18 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More