| 2009 | ||
|---|---|---|
| 2 | M. Andrew Moshier, Daniela Petrisan: A Duality Theorem for Real C* Algebras. CALCO 2009: 284-299 | |
| 2008 | ||
| 1 | Alexander Kurz, Daniela Petrisan: Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. Electr. Notes Theor. Comput. Sci. 203(5): 175-194 (2008) | |
| 1 | Alexander Kurz | [1] |
| 2 | M. Andrew Moshier | [2] |