

Foundations of Information and Knowledge Systems
584,-

Logic, Language, Information, and Computation
584,-

Practical Aspects of Declarative Languages
791,-

Robust Argumentation Machines
1 340,-

Verification, Model Checking, and Abstract Interpretation
971,-

Relational and Algebraic Methods in Computer Science
791,-

Coalgebraic Methods in Computer Science
674,-

Dynamics in Logic and Language
611,-

Correct System Design
476,-

Foundations of Software Science and Computation Structures
431,-

Foundations of Information and Knowledge Systems
584,-

Logic, Language, Information, and Computation
584,-

Practical Aspects of Declarative Languages
791,-

Robust Argumentation Machines
1 340,-

Verification, Model Checking, and Abstract Interpretation
971,-

Relational and Algebraic Methods in Computer Science
791,-

Coalgebraic Methods in Computer Science
674,-

Dynamics in Logic and Language
611,-

Correct System Design
476,-

Foundations of Software Science and Computation Structures
431,-















