

Logic-Based Program Synthesis and Transformation
584,-

Natural Language Processing and Information Systems
584,-

Descriptional Complexity of Formal Systems
1 340,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
584,-

Advanced Data Mining and Applications
1 124,-

Logic-Based Program Synthesis and Transformation
791,-

Frontiers of Combining Systems
584,-

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

Descriptional Complexity of Formal Systems
674,-

Logic-Based Program Synthesis and Transformation
584,-

Natural Language Processing and Information Systems
584,-

Descriptional Complexity of Formal Systems
1 340,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
584,-

Advanced Data Mining and Applications
1 124,-

Logic-Based Program Synthesis and Transformation
791,-

Frontiers of Combining Systems
584,-

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

Descriptional Complexity of Formal Systems
674,-













