文档介绍：Proceedings of the 10th
Italian Conference on
THEORETICAL
COMPUTER
SCIENCE
ICTCS’07
This page intentionally left blank
EDITORS
GIUSEPPE F ITALIANO
University of Rome “Tor Vergata”, Italy
EUGENIO MOGGI
University of Genova, Italy
LUIGI LAURA
“Sapienza” University of Rome, Italy
Rome, Italy 3 – 5 October 2007
Proceedings of the 10th
Italian Conference on
THEORETICAL
COMPUTER
SCIENCE
ICTCS’07
World Scientific
NEW JERSEY • LONDON • SINGAPORE • BEIJING • SHANGHAI • HONG KONG • TAIPEI • CHENNAI
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
British Library Cataloguing-in-Publication Data
A catalogue record for this book is available from the British Library.
PUTER SCIENCE
Proceedings of the 10th Italian Conference on ICTCS ’07
Copyright © 2007 by World Scientific Publishing Co. Pte. Ltd.
All rights reserved. This book, or parts thereof, may not be reproduced in any form or by any means,
electronic or mechanical, including photocopying, recording or any information storage and retrieval
system now known or to be invented, without written permission from the Publisher.
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
ISBN-13 978-981-277-098-1
ISBN-10 981-277-098-4
Printed in Singapore.
Steven - 1 1/3/2008, 11:43 AM
12th July 2007 17:11 WSPC - Proceedings Trim Size: 9in x 6in ictcs07proc
v
PREFACE
The 10th Italian Conference on puter Science (ICTCS 2007)
was held on 3-5 October 2007 in Rome, Italy. Previous conferences took place
in Pisa(1972), Mantova (1974 and 1989), L’Aquila (1992), Ravello (1995), Prato
(1999), Torino (2001