Lutz Schröder
First name(s): Lutz
Last name(s): Schröder

Publications of Lutz Schröder
2013
2007
Stefan Wölfl, Till Mossakowski and Lutz Schröder, Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables, in: 20th International FLAIRS Conference (FLAIRS-20), pages 665-670, AAAI Press, 2007
download
2006
Till Mossakowski, Lutz Schröder and Stefan Wölfl, A Categorical Perspective on Qualitative Constraint Calculi, in: Qualitative Constraint Calculi - Application and Integration. Workshop at KI 2006, pages 28--39, 2006
download