

Coalgebraic Methods in Computer Science
584,-

Logic-Based Program Synthesis and Transformation
674,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
611,-

Automated Reasoning and Mathematics
476,-

Interactive Theorem Proving
584,-

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

Logic, Language, and Computation
584,-

Coalgebraic Methods in Computer Science
1 214,-

Rigorous State-Based Methods
791,-

Coalgebraic Methods in Computer Science
584,-

Logic-Based Program Synthesis and Transformation
674,-

Logic-Based Program Synthesis and Transformation
611,-

Logic-Based Program Synthesis and Transformation
611,-

Automated Reasoning and Mathematics
476,-

Interactive Theorem Proving
584,-

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

Logic, Language, and Computation
584,-

Coalgebraic Methods in Computer Science
1 214,-

Rigorous State-Based Methods
791,-












