Logic-Based Program Synthesis and Transformation More Books Like This
Logic-Based Program Synthesis and Transformation
2017
Programming Languages and Systems
2018
Logic-Based Program Synthesis and Transformation
2019
Logic-Based Program Synthesis and Transformation
2015
Logic for Programming, Artificial Intelligence, and Reasoning
2015
Programming Languages and Systems
2016
Logic-Based Program Synthesis and Transformation
2018
Functional and Logic Programming
2018
Programming Languages and Systems
2017
Programming Languages and Systems
2017
Logic Programming and Nonmonotonic Reasoning
2017
Programming Languages and Systems
2016
Theoretical Aspects of Computing – ICTAC 2016
2016
Perspectives of System Informatics
2015
Verification, Model Checking, and Abstract Interpretation
2015