Logic-Based Program Synthesis and Transformation More Books Like This
Programming Languages and Systems
2022
Functional and Logic Programming
2022
Programming Languages and Systems
2023
Rewriting Logic and Its Applications
2018
Functional and Logic Programming
2010
Logic-Based Program Synthesis and Transformation
2011
Logic-Based Program Synthesis and Transformation
2017
Algebraic Methodology and Software Technology
2011
Programming Languages and Systems
2011
Logic-Based Program Synthesis and Transformation
2008
Programming Languages and Systems
2020
Programming Languages and Systems
2021
Theoretical Aspects of Computing – ICTAC 2020
2020
Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation
2009