![]() | ![]() |
2005 | ||
---|---|---|
3 | EE | Bernd Mahr, Sebastian Bab: inT-Integration of Logics. Formal Methods in Software and Systems Modeling 2005: 204-219 |
2 | EE | Sebastian Bab, Arfst Nickelsen: One query reducibilities between partial information classes. Theor. Comput. Sci. 345(2-3): 173-189 (2005) |
2004 | ||
1 | EE | Sebastian Bab, Arfst Nickelsen: One Query Reducibilities Between Partial Information Classes. MFCS 2004: 404-415 |
1 | Bernd Mahr | [3] |
2 | Arfst Nickelsen | [1] [2] |