Theoretical Computer Science

6th IFIP TC 1/WG 2.2 International Conference, TCS 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings

  • Cristian S. Calude
  • Vladimiro Sassone
Conference proceedings TCS 2010

Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 323)

Table of contents

  1. Front Matter
  2. Bart Jacobs
    Pages 1-19
  3. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi
    Pages 53-54
  4. Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi, Peter van Rossum
    Pages 55-70
  5. Chenyi Zhang, Jun Pang
    Pages 71-85
  6. Lei Song, Jens Chr. Godskesen
    Pages 86-100
  7. Arnaud Casteigts, Paola Flocchini, Bernard Mans, Nicola Santoro
    Pages 111-124
  8. Nisansala Yatapanage, Kirsten Winter, Saad Zafar
    Pages 125-139
  9. Panu Silvasti, Seppo Sippu, Eljas Soisalon-Soininen
    Pages 153-164
  10. Pierre-Louis Curien, Guillaume Munch-Maccagnoni
    Pages 165-181
  11. Gilles Dowek
    Pages 182-196
  12. H. J. Sander Bruggink, Barbara König
    Pages 197-212
  13. Jia Liu, Huimin Lin
    Pages 229-243
  14. Thomas Given-Wilson, Daniele Gorla, Barry Jay
    Pages 244-258
  15. Rupert Hölzl, Thorsten Kräling, Frank Stephan, Guohua Wu
    Pages 259-270

About these proceedings

Keywords

Ban algorithms complexity data mining knowledge discovery logic semantics theoretical computer science verification

Editors and affiliations

  • Cristian S. Calude
    • 1
  • Vladimiro Sassone
    • 2
  1. 1.Department of Computer ScienceUniversity of AucklandAucklandNew Zealand
  2. 2.School of Electronics and Computer ScienceUniversity of SouthamptonSouthamptonUK

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-15240-5
  • Copyright Information IFIP International Federation for Information Processing 2010
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-15239-9
  • Online ISBN 978-3-642-15240-5
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1861-2288
  • About this book