Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Manipulating trees with hidden labels
File(s)
Author(s)
Cardelli,L.
Gardner,P.
Ghelli,G.
Type
Conference Paper
Editor(s)
Gordon, AD
Date Issued
2003-04-11
Date Acceptance
2003-04-07
Citation
Foundations of Software Science and Computation Structures, 2003, 2620, pp.216-232
URI
ISBN
9783540008972
3-5400-0897-7
ISSN
0302-9743
Publisher
Springer
Start Page
216
End Page
232
Journal / Book Title
Foundations of Software Science and Computation Structures
Volume
2620
Copyright Statement
© 2003 Springer. All rights reserved.
Source
Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland
Subjects
Science & Technology
Technology
Computer Science, Software Engineering
Computer Science, Theory & Methods
Computer Science
LOGIC
Artificial Intelligence & Image Processing
08 Information and Computing Sciences
Place of Publication
Berlin
Start Date
2003-04-07
Finish Date
2003-04-11
Coverage Spatial
Warsaw, Poland