Book Details

978-3-540-73433-8

Algebraic Biology

Publication year: 2007

ISBN: 978-3-540-73433-8

Internet Resource: Please Login to download book


This volume constitutes the refereed proceedings of the Second International Conference on Algebraic Biology. The conference served as an interdisciplinary forum for the presentation of research on all aspects of the application of symbolic computation in biology, including computer algebra, computational logic, and related methods.


Subject: Computer Science, 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