Books in category Computers – Logic Design

  • Logic Program Synthesis and Transformation 5th International Volume 5

    Logic Program Synthesis and Transformation: 5th International …, Volume 5
    Maurizio Proietti

    This book constitutes the refereed proceedings of the 5th International Workshop on Logic Program Synthesis and Transformation, LOPSTR'95, held in Utrecht, The Netherlands in September 1995.The 19 papers included were selected from 40 …

  • Computer Aided Verification

    Computer Aided Verification
    Nicolas Halbwachs, Doron Peled

    This book constitutes the refereed proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, held in Trento, Italy in July 1999 as part of FLoC'99.

  • Term Rewriting and Applications

    Term Rewriting and Applications
    Franz Baader

    This book constitutes the refereed proceedings of the 18th International Conference on Rewriting Techniques and Applications, RTA 2007, held in Paris, France in June 2007 in conjunction with TLCA 2007, the 8th International Conference on …

  • Logic Programming

    Logic Programming
    Jan Małuszyński

    The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming.

  • Verification Model Checking and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation
    Radhia Cousot

    The book constitutes the refereed proceedings of the 6th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2005, held in Paris, France in January 2005.The 27 revised full papers presented together …

  • CIAA 2003 Volume 7

    CIAA 2003, Volume 7
    Jean-Marc Champarnaud, Denis Maurel

    The refereed post-proceedings of the 7th International Conference on Implementation and Application of Automata, CIAA 2002, held in Tours, France, in July 2002.The 28 revised full papers presented together with an invited paper and 4 short …

  • Principles and Practice of Constraint Programming CP 2002

    Principles and Practice of Constraint Programming – CP 2002
    Pascal Van Hentenryck

    This book constitutes the refereed proceedings of the 8th International Conference on Principles and Practice of Constraint Programming, CP 2002, held in Ithaca, NY, USA in September 2002.The 38 revised full papers and 6 innovative …

  • Compiler Construction 7th International Conference CC 98 Held Volume 7

    Compiler Construction: 7th International Conference, CC’98, Held …, Volume 7
    Kai Koskimies

    This book constitutes the refereed proceedings of the Fourth International Colloquium on Grammatical Inference, ICGI-98, held in Ames, Iowa, in July 1998.

  • Tools and Algorithms for the Construction and Analysis of Systems Volume 4

    Tools and Algorithms for the Construction and Analysis of Systems …, Volume 4
    Bernhard Steffen

    This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998.

  • Theorem Proving in Higher Order Logics

    Theorem Proving in Higher Order Logics
    Jim Grundy, Malcolm Newey

    This book constitutes the refereed proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics, TPHOLs '98, held in Canberra, Australia, in September/October 1998.

1 2 3 4 5 Next >