Logic-Based Program Synthesis and Transformation Image close
Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
Show Hide Adult Content
Logic-Based Program Synthesis and Transformation close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Computer programming / software development

Logic-Based Program Synthesis and Transformation

28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$136.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $34.25 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 13-25 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Foundations of Software Science and Computational Structures Save $47
$155.99
$203.95
Foundations of Software Science and Computational Structures
Paperback / softback
Available - Usually ships in 3-4 weeks
Tools and Algorithms for the Construction and Analysis of Systems Save $66
$158.99
$225.95
Tools and Algorithms for the Construction and Analysis of Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing
$276.99
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Algorithms - ESA 2007
$278.99
$280.95
Algorithms - ESA 2007
Paperback / softback
Available - Usually ships in 3-4 weeks
Numerical Methods and Applications
$277.99
$280.95
Numerical Methods and Applications
Paperback / softback
Available - Usually ships in 3-4 weeks
Development in Language Theory Save $8
$142.99
$151.95
Development in Language Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$277.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Mathematical Foundations of Computer Science 2012
$301.99
Mathematical Foundations of Computer Science 2012
Paperback / softback
Available - Usually ships in 3-4 weeks
Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics
$124.99
Evolutionary Computation, Machine Learning and Data Mining in...
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Linguistics and Intelligent Text Processing Save $33
$144.99
$178.95
Computational Linguistics and Intelligent Text Processing
Paperback / softback
Available - Usually ships in 3-4 weeks
Logic, Rationality, and Interaction
$138.99
Logic, Rationality, and Interaction
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Modeling and Analysis of Timed Systems
$136.99
Formal Modeling and Analysis of Timed Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Automata, Languages and Programming
$274.99
Automata, Languages and Programming
Paperback / softback
Available - Usually ships in 3-4 weeks
Computational Science and Its Applications - ICCSA 2011
$276.99
Computational Science and Its Applications - ICCSA 2011
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata Save $48
$136.99
$185.95
Cellular Automata
Paperback / softback
Available - Usually ships in 3-4 weeks
Integration of AI and OR Techniques in Constraint Programming
$140.99
$145.95
Integration of AI and OR Techniques in Constraint Programming
Paperback / softback
Available - Usually ships in 3-4 weeks

Description

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. 
Release date Australia
February 23rd, 2019
Contributors
  • Edited by Fred Mesnard
  • Edited by Peter J. Stuckey
Pages
203
Edition
1st ed. 2019
Audience
  • Professional & Vocational
Illustrations
4 Illustrations, color; 561 Illustrations, black and white; XX, 203 p. 565 illus., 4 illus. in color.
ISBN-13
9783030138370
Product ID
29151117

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Computer programming / software development
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Computer architecture & logic design
Books >
Computers & Internet >
Computer science >
Artificial intelligence