@inproceedings{DBLP:conf/caap/Boudol81,
author = {G{\'e}rard Boudol},
title = {Une Semantique Pour Les Arbres Non Deterministes},
booktitle = {CAAP},
year = {1981},
pages = {147-161},
ee = {http://dx.doi.org/10.1007/3-540-10828-9_60},
crossref = {DBLP:conf/caap/1981},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/caap/1981,
editor = {Egidio Astesiano and
Corrado B{\"o}hm},
title = {CAAP '81, Trees in Algebra and Programming, 6th Colloquium,
Genoa, Italy, March 5-7, 1981, Proceedings},
booktitle = {CAAP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {112},
year = {1981},
isbn = {3-540-10828-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-09 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
