| |
| 2007 | ||
|---|---|---|
| 3 | EE | Ernie Manes: Taut Monads, Dynamic Logic and Determinism. Electr. Notes Theor. Comput. Sci. 173: 241-262 (2007) |
| 2006 | ||
| 2 | EE | Ernie Manes: Boolean restriction categories and taut monads. Theor. Comput. Sci. 360(1-3): 77-95 (2006) |
| 1987 | ||
| 1 | Ernie Manes: Assertional Categories. MFPS 1987: 85-120 | |