Copied Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
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.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Digitally Augmenting Traditional Craft Practices for Social Justice
$79.99
Advances in Manufacturing III
$169.99
PET and SPECT of Neurobiological Systems
$249.99
Lebensmittel und das Immunsystem
$49.99
English for Academic CVs, Resumes, and Online Profiles
$32.99
Die Trume in Dostojewskys Raskolnikoff
$59.99
Bindung, Struktur und Reaktionsmechanismen in der organischen Chemie
$59.99
ber die Reaktionen von than in einer Glimmentladung
$59.99
Automated Technology for Verification and Analysis
$39.99
Competitively Inhibited Neural Networks for Adaptive Parameter Estimation
$109.99
Performativity in Elizabeth Gaskells Shorter Fiction
$59.99
From Colonialism to International Aid
$31.00
The Computer-Based Design Process
$39.99
Characterization of Crystal Growth Defects by X-Ray Methods
$39.99
Phonics Chapter Book - Level 2: Tales Once Told
$6.74
Kirche, Staat, Nation
$59.99
Kognitive Strukturen des Sprachverstehens
$59.99
Last Gate of the Emperor (Hardcover)
$13.49
Practical GitOps
$64.99
The Corporate Paradox
$169.00
Arsenic Mitigation in Rural Bangladesh
$39.99
Neonatal Jaundice
$109.99
Conversations with Angels
$139.99
Neurodevelopmental Disabilities
$129.00
Transmedia Archaeology
$70.00
Breast Cancer
$109.99
Henry P. McKean Jr. Selecta
$109.99
Multichannel-Marketing-Handbuch
$79.99
Platon-Handbuch
$44.99
Those Who Made It
$109.99
Complementarity: Applications, Algorithms and Extensions
$169.99
Renal Cell Cancer
$169.99
On the control of complex industrial organizations
$54.99
Building an Inclusive, Green and Low-Carbon Economy
$59.99
Reading the Vegetarian Vampire
$49.99
Networks, Alliances and Partnerships in the Innovation Process
$129.00
Soviet History in the Gorbachev Revolution
$109.99
Abschied vom Unitarismus?
$49.99
Work of Fiction
$119.99
Menschen strken
$39.99
