Search results for: Lutz Schroder
Journal of Logic, Language and Information > 2019 > 28 > 2 > 309-330
Journal of Biomedical Informatics > 2018 > 83 > C > 196-203
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 208-221
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 443-459
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Algebras > 137-151
Applied Categorical Structures > 2016 > 24 > 5 > 663-701
Lecture Notes in Computer Science > Automata, Languages and Programming > Specification and Deduction > 993-1004
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 280-294
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Verification and Testing I > 199-214
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2006 > Contributed Papers > 447-458
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Casl: Language, Methodology and Tools > 146-161
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 66-80
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 425-441
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 376-392