

Logical Foundations of Computer Science
584,-

Coalgebraic Methods in Computer Science
674,-

Recent Trends in Algebraic Development Techniques
584,-

Logic-Based Program Synthesis and Transformation
512,-

Logic and Its Applications
476,-

Logical Foundations of Computer Science
791,-

Logic and Its Applications
674,-

Logic, Language, Information, and Computation
584,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Logical Foundations of Computer Science
584,-

Coalgebraic Methods in Computer Science
674,-

Recent Trends in Algebraic Development Techniques
584,-

Logic-Based Program Synthesis and Transformation
512,-

Logic and Its Applications
476,-

Logical Foundations of Computer Science
791,-

Logic and Its Applications
674,-

Logic, Language, Information, and Computation
584,-

Sofsem 2025 Theory and Practice of Computer Science
791,-

Sofsem 2025 Theory and Practice of Computer Science
791,-















