

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

Programming Languages and Systems
674,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

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

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

Programming Languages and Systems
674,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
476,-

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

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
584,-

Rigorous Methods for Software Construction and Analysis
584,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-















