

















Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

Logic, Language, Information, and Computation
431,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Logic, Language, and Computation
1 489,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

Functional and Logic Programming
476,-

Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

Logic, Language, Information, and Computation
431,-

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Logic, Language, and Computation
1 489,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

Functional and Logic Programming
476,-