Practical Aspects of Declarative Languages More Books Like This
Declarative Programming and Knowledge Management
2020
Integrated Formal Methods
2020
Logic-Based Program Synthesis and Transformation
2015
Practical Aspects of Declarative Languages
2022
Perspectives of System Informatics
2015
Integrated Formal Methods
2019
Declarative Programming and Knowledge Management
2018
Logic-Based Program Synthesis and Transformation
2020
Formal Methods and Software Engineering
2022
Practical Aspects of Declarative Languages
2018
Software Engineering and Formal Methods
2018
Logic Programming and Nonmonotonic Reasoning
2015
Integrated Formal Methods
2017
Programming Languages and Systems
2017
FM 2016: Formal Methods
2016