Functional and Logic Programming More Books Like This
Programming Languages and Systems
2023
Programming Languages and Systems
2022
Logic-Based Program Synthesis and Transformation
2022
Functional and Logic Programming
2010
Programming Languages and Systems
2020
Algebraic Methodology and Software Technology
2011
Logic-Based Program Synthesis and Transformation
2017
Rewriting Logic and Its Applications
2018
Functional and Logic Programming
2018
Logic-Based Program Synthesis and Transformation
2011
Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation
2008
Theorem Proving in Higher Order Logics
2008
Programming Languages and Systems
2011
Programming Languages and Systems
2021