Trending Bestseller

Logic-Based Program Synthesis and Transformation

8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers

No reviews yet Write a Review
Paperback / softback
24 March 1999
$121.54
Ships in 3-5 business days

Delivery estimate

Hurry up! Current stock:
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

You Can Find This Title In

    Product Details
    ISBN-13
    9783540657651
    Author
    Pierre Flener
    Publisher
    Springer Nature B.V.
    Published
    24 March 1999
    Format
    Paperback / softback

    This product hasn't received any reviews yet. Be the first to review this product!

    $121.54
    Ships in 3-5 business days

    Delivery estimate

    Hurry up! Current stock:

    Logic-Based Program Synthesis and Transformation

    $121.54

    Description

    This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR'98 held in Manchester, UK in June 1998. The 16 revised full papers presented were carefully reviewed and selected during three rounds of inspection from a total of initially 36 extended abstracts submitted. Also included are eight short papers. Among the topics covered are logic specification, mathematical program construction, logic programming, computational logics, inductive program synthesis, constraint logic programs, and mathematical foundations.

    You Can Find This Title In

      This Title Is Categorised As