Bugliesi, Michele and Sassone, Vladimiro (2010) International Colloquium of Automata, Languages and Programming: Preface to the 'Logical Methods in Computer Science', special issue for ICALP 2006 , Springer Berlin, Heidelberg
Record type:
Book
Abstract
Preface to the 'Logical Methods in Computer Science', special issue dedicated to ICALP 2006, Track B: Logic, Semantics and Theory of Programming
More information
Published date: April 2010
Organisations:
Web & Internet Science
Identifiers
Local EPrints ID: 268593
URI: http://eprints.soton.ac.uk/id/eprint/268593
PURE UUID: 12590ffa-7ee3-40d2-92ce-cbde3cf04f15
Catalogue record
Date deposited: 12 Mar 2010 11:21
Last modified: 10 Sep 2024 01:40
Export record
Contributors
Author:
Michele Bugliesi
Author:
Vladimiro Sassone
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.