

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

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Theory and Applications of Formal Argumentation
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
431,-

Logic, Language, Information, and Computation
476,-

Declarative Programming and Knowledge Management
476,-

Structural Information and Communication Complexity
584,-

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

Verification, Model Checking and Abstract Interpretation
674,-

Verification, Model Checking and Abstract Interpretation
674,-

Theory and Applications of Formal Argumentation
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
584,-

Logic, Language, Information, and Computation
431,-

Logic, Language, Information, and Computation
476,-

Declarative Programming and Knowledge Management
476,-

Structural Information and Communication Complexity
584,-















