Skip to Main content Skip to Navigation
Directions of work or proceedings

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)
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/inria-00098637
Contributor : Publications Loria <>
Submitted on : Monday, September 25, 2006 - 5:04:09 PM
Last modification on : Friday, February 26, 2021 - 3:28:06 PM

Identifiers

  • HAL Id : inria-00098637, version 1

Collections

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⟩

Share

Metrics

Record views

119