Ines Lynce

  1. Proceedings Second Workshop on Logics for Component Configuration.

    Authors: Ralf Treinen, Conrad Drescher, Ines Lynce
    Subjects: Logic in Computer Science
    Abstract

    This volume contains the papers presented at the second international
    workshop on Logics for Component Configuration (LoCoCo 2011) which was
    associated with the International Conference on Principles and Practice of
    Constraint Programming (CP 2011) and which took place on September 12, 2011 in
    Perugia, Italy. Representing and solving configuration problems is a hot topic
    of great importance for many application domains. For example, modern software
    distributions are based on the notion of components, which denote units of
    independent development and deployment.

RSS-материал