Tags
Language
Tags
<<
June 2025
Su Mo Tu We Th Fr Sa
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 1 2 3 4 5
    Attention❗ To save your time, in order to download anything on this site, you must be registered 👉 HERE. If you do not have a registration yet, it is better to do it right away. ✌

    ( • )( • ) ( ͡⚆ ͜ʖ ͡⚆ ) (‿ˠ‿)
    SpicyMags.xyz
    1. Home
    2. eBooks & eLearning
    3. Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se

    Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se

    Posted By: roxul
    Date: 13 Apr 2019 23:36:40
    Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se

    Fred Mesnard, "Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, Se"
    English | ISBN: 3030138372 | 2019 | 203 pages | EPUB, PDF | 12 MB + 5 MB

    This book constitutes the thoroughly refereed post-conference proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2018, held in Frankfurt/Main, Germany, in September 2018.
    The 11 revised full papers were carefully reviewed and selected from 29 submissions. In addition to the 11 papers, this volume includes 3 abstracts of invited talks and 2 abstracts of invited tutorials. The papers are grouped into the following topics: analysis of term rewriting; logic-based distributed/concurrent programming; analysis of logic programming; and program analysis.
    UPWARDS