Advertisement

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
  16. Sibylle Schwarz, Ludwig Staiger
    Pages 271-285
  17. Rupert Hölzl, Wolfgang Merkle
    Pages 301-315
  18. Marin Bougeret, Pierre François Dutot, Klaus Jansen, Christina Otte, Denis Trystram
    Pages 316-327
  19. Shuichi Miyazaki, Kazuya Okamoto
    Pages 328-339
  20. James Gross, Frank G. Radmacher, Wolfgang Thomas
    Pages 355-370
  21. Salil Joshi, Sanjiva Prasad
    Pages 371-385
  22. Back Matter

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
  • Buy this book on publisher's site