Volume 65, Issue 4, August 2012

ISSN: 1012-2443 (Print) 1573-7470 (Online)

In this issue (3 articles)

  1. No Access

    OriginalPaper

    An alternative representation of Fractal Gene Regulatory Networks facilitating analysis and interpretation

    Payam Zahadat, Kasper Stoy Pages 285-316
    Look Inside Get Access

  2. No Access

    OriginalPaper

    A logic-algebraic approach to decision taking in a railway interlocking system

    Antonio Hernando, Eugenio Roanes-Lozano… Pages 317-328
    Look Inside Get Access

  3. No Access

    OriginalPaper

    Producing and verifying extremely large propositional refutations

    Allen Van Gelder Pages 329-372
    Look Inside Get Access