

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
674,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Mathematical Aspects of Computer and Information Sciences
584,-

Descriptional Complexity of Formal Systems
584,-

Evolutionary Multi-Criterion Optimization
1 124,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Logic-Based Program Synthesis and Transformation
584,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
674,-

Theory and Applications of Satisfiability Testing -- SAT 2015
674,-

Mathematical Aspects of Computer and Information Sciences
584,-

Descriptional Complexity of Formal Systems
584,-

Evolutionary Multi-Criterion Optimization
1 124,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Tools and Algorithms for the Construction and Analysis of Systems
431,-

Logic-Based Program Synthesis and Transformation
584,-













