Trees in Algebra and Programming

Hélène Kirchner 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Ce numero special de Theoretical Computer Science contient les versions etendues de presentations selectionnees a la conference CAAP 96, (21st Colloquium on Trees in Algebra and Programming)
keyword : Programmation Programming Algebras
Type de document :
Direction d'ouvrage, Proceedings, Dossier
1 (1), Elsevier, 1998, Theoretical Computer Science: Logic, semantics and theory of programming
Liste complète des métadonnées
https://hal.inria.fr/inria-00098637
Contributeur : Publications Loria <>
Soumis le : lundi 25 septembre 2006 - 17:04:09
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00098637, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Hélène Kirchner. Trees in Algebra and Programming. 1 (1), Elsevier, 1998, Theoretical Computer Science: Logic, semantics and theory of programming. 〈inria-00098637〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

108

Contact


archive-ouverte@inria.fr