Automatic Program Development More Books Like This
Functional and Logic Programming
2022
Logic-Based Program Synthesis and Transformation
2022
Programming Languages and Systems
2022
Logic-Based Program Synthesis and Transformation
2008
Logic-Based Program Synthesis and Transformation
2017
Logic-Based Program Synthesis and Transformation
2011
Logic-Based Program Synthesis and Transformation
2009
Functional and Logic Programming
2008
Logic-Based Program Synthesis and Transformation
2020
Algebraic Methodology and Software Technology
2011
Logic-Based Program Synthesis and Transformation
2015
Functional and Logic Programming
2018
Programming Languages and Systems
2023
Logic-Based Program Synthesis and Transformation
2022
Rewriting Logic and Its Applications
2018