| 2006 |
|---|
| 11 | EE | Ingrid Rewitzky,
Chris Brink:
Monotone Predicate Transformers as Up-Closed Multirelations.
RelMiCS 2006: 311-327 |
| 1999 |
|---|
| 10 | EE | Chris Brink,
Ingrid Rewitzky:
Finite-Cofinite Program Relations.
Logic Journal of the IGPL 7(2): 153-172 (1999) |
| 1998 |
|---|
| 9 | | Ingrid Rewitzky,
Chris Brink:
Unification of Four Versions of Program Semantics.
Formal Asp. Comput. 10(1): 1-29 (1998) |
| 1997 |
|---|
| 8 | | Chris Brink,
Ingrid Rewitzky:
Predicate Relators.
RelMiCS 1997: 143-156 |
| 1995 |
|---|
| 7 | | Ingrid Rewitzky,
Chris Brink:
Predicate Transformers as Power Operations.
Formal Asp. Comput. 7(2): 169-182 (1995) |
| 6 | | Katarina Britz,
Chris Brink:
Computing Verisimilitude.
Notre Dame Journal of Formal Logic 36(1): 30-43 (1995) |
| 1994 |
|---|
| 5 | | Chris Brink,
Katarina Britz,
Renate A. Schmidt:
Peirce Algebras.
Formal Asp. Comput. 6(3): 339-358 (1994) |
| 1993 |
|---|
| 4 | | Chris Brink,
Katarina Britz:
Peirce Algebras.
AMAST 1993: 163-166 |
| 1992 |
|---|
| 3 | | Chris Brink,
J. J. C. Vermeulen,
J. P. G. Pretorius:
Verisimilitude via Vietoris.
J. Log. Comput. 2(6): 709-718 (1992) |
| 2 | | Chris Brink:
A comment on relevant truth table logic.
Journal of Applied Non-Classical Logics 2(2): (1992) |
| 1991 |
|---|
| 1 | | Chris Brink,
Ingrid Rewitzky,
Renate A. Schmidt:
Autodescriptivity: Beware!
Comput. J. 34(4): 379-381 (1991) |
