Algebraic Biology

Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007. Proceedings

  • Editors
  • Hirokazu Anai
  • Katsuhisa Horimoto
  • Temur Kutsia
Conference proceedings AB 2007
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4545)

Table of contents

  1. Front Matter
  2. Alberto Casagrande, Kevin Casey, Rachele Falchi, Carla Piazza, Benedetto Ruperti, Giannina Vizzotto et al.
    Pages 51-65
  3. François Boulier, Marc Lefranc, François Lemaire, Pierre-Emmanuel Morant, Aslı Ürgüplü
    Pages 66-80
  4. Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily Lyubetsky
    Pages 81-94
  5. Hiroshi Yoshida, Koji Nakagawa, Hirokazu Anai, Katsuhisa Horimoto
    Pages 110-124
  6. Ana Graça, João Marques-Silva, Inês Lynce, Arlindo L. Oliveira
    Pages 125-139
  7. Ashish Tiwari, Carolyn Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pages 155-169
  8. Jittisak Senachak, Mun’delanji Vestergaard, René Vestergaard
    Pages 185-201
  9. Ioannis Z. Emiris, Sotirios I. Pantos
    Pages 217-231
  10. Céline Kuttler, Cédric Lhoussaine, Joachim Niehren
    Pages 232-246
  11. Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel
    Pages 247-261
  12. Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni
    Pages 262-276

About these proceedings

Keywords

Erfüllbarkeitsproblem der Aussagenlogik algorithm algorithms automata calculi calculus computer algebra dynamic systems hybrid systems logic optimization polynomial functions semantics of programming term rewriting transformations of mod

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-540-73433-8
  • Copyright Information Springer-Verlag Berlin Heidelberg 2007
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-73432-1
  • Online ISBN 978-3-540-73433-8
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book