All About Maude - A High-Performance Logical Framework More Books Like This
Central European Functional Programming School
2008
Programming Languages and Systems
2009
Implementation and Application of Functional Languages
2007
Programming Languages and Systems
2008
Logic-Based Program Synthesis and Transformation
2017
Programming Languages and Systems
2015
Logic-Based Program Synthesis and Transformation
2018
Programming Languages and Systems
2010
Logic-Based Program Synthesis and Transformation
2008
Semantics and Algebraic Specification
2009
Programming Languages and Systems
2011
Functional and Logic Programming
2018
Programming Languages and Systems
2009
Functional and Constraint Logic Programming
2019
Logic-Based Program Synthesis and Transformation
2009