Declarative Programming and Knowledge Management More Books Like This
Declarative Programming and Knowledge Management
2020
Practical Aspects of Declarative Languages
2023
Rules and Reasoning
2017
Logic-Based Program Synthesis and Transformation
2018
Logic-Based Program Synthesis and Transformation
2020
Integrated Formal Methods
2020
Programming Languages and Systems
2017
Logic-Based Program Synthesis and Transformation
2015
Tools and Algorithms for the Construction and Analysis of Systems
2018
Logic-Based Program Synthesis and Transformation
2017
Verification, Model Checking, and Abstract Interpretation
2015
Practical Aspects of Declarative Languages
2006
Logic Programming and Nonmonotonic Reasoning
2015
Static Analysis
2017
Practical Aspects of Declarative Languages
2010