












Functional and Constraint Logic Programming
584,-

Trends in Functional Programming
584,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-

Trends in Functional Programming
584,-

Trends in Functional Programming
431,-

Inductive Logic Programming
674,-

Trends in Functional Programming
458,-

Verification, Model Checking, and Abstract Interpretation
971,-

New Directions in Logic, Language, and Computation
476,-

Functional and Constraint Logic Programming
584,-

Trends in Functional Programming
584,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-

Trends in Functional Programming
584,-

Trends in Functional Programming
431,-

Inductive Logic Programming
674,-

Trends in Functional Programming
458,-

Verification, Model Checking, and Abstract Interpretation
971,-

New Directions in Logic, Language, and Computation
476,-