2000 | ||
---|---|---|
3 | EE | Martin Rößiger: Coalgebras and Modal Logic. Electr. Notes Theor. Comput. Sci. 33: (2000) |
1999 | ||
2 | Martin Rößiger: Modal Logic for Coalgebras. GI Jahrestagung 1999: 273-280 | |
1 | EE | Martin Rößiger: Languages for Coalgebras on Datafunctors. Electr. Notes Theor. Comput. Sci. 19: (1999) |