Logic-Based Program Synthesis and Transformation More Books Like This
Logic-Based Program Synthesis and Transformation
2009
Logic-Based Program Synthesis and Transformation
2008
Logic-Based Program Synthesis and Transformation
2017
Algebraic Methodology and Software Technology
2011
Programming Languages and Systems
2009
Programming Languages and Systems
2010
Logic-Based Program Synthesis and Transformation
2022
Logic Programming
2009
Theoretical Aspects of Computing – ICTAC 2010
2010
Functional and Logic Programming
2018
Logic-Based Program Synthesis and Transformation
2020
Logic-Based Program Synthesis and Transformation
2015
Programming Languages and Systems
2011
Functional and Logic Programming
2022
Tools and Algorithms for the Construction and Analysis of Systems
2008