Chris Brink

18 papers Journal 12Unranked 3
YearRankTypeTitle / Venue / Authors
2006 — conf
Monotone Predicate Transformers as Up-Closed Multirelations.
RelMiCS
Ingrid Rewitzky, Chris Brink
2002 J jnl
Three Dual Ontologies.
J. Philos. Log.
Chris Brink, Ingrid Rewitzky
2001 — book
A paradigm for program semantics - power structures and duality.
Chris Brink, Ingrid Rewitzky
1999 J jnl
Finite-Cofinite Program Relations.
Log. J. IGPL
Chris Brink, Ingrid Rewitzky
1998 J jnl
Unification of Four Versions of Program Semantics.
Formal Aspects Comput.
Ingrid Rewitzky, Chris Brink
1997 — ch.
Background Material.
Relational Methods in Computer Science
Peter Jipsen, Chris Brink, Gunther Schmidt
1997 — conf
Predicate Relators.
RelMiCS
Chris Brink, Ingrid Rewitzky
1997 — book
Relational Methods in Computer Science.
Chris Brink, Wolfram Kahl, Gunther Schmidt
1995 J jnl
Computing Verisimilitude.
Notre Dame J. Formal Log.
Katarina Britz, Chris Brink
1995 J jnl
Predicate Transformers as Power Operations.
Formal Aspects Comput.
Ingrid Rewitzky, Chris Brink
1994 J jnl
Peirce Algebras.
Formal Aspects Comput.
Chris Brink, Katarina Britz, Renate A. Schmidt
1993 — conf
Peirce Algebras.
AMAST
Chris Brink, Katarina Britz
1992 J jnl
A comment on relevant truth table logic.
J. Appl. Non Class. Logics
Chris Brink
1992 J jnl
Verisimilitude via Vietoris.
J. Log. Comput.
Chris Brink, J. J. C. Vermeulen, J. P. G. Pretorius
1991 J jnl
Autodescriptivity: Beware!
Comput. J.
Chris Brink, Ingrid Rewitzky, Renate A. Schmidt
1989 J jnl
R⌝-algebras and R⌝-model structures as power constructs.
Stud Logica
Chris Brink
1979 J jnl
The algebra of relatives.
Notre Dame J. Formal Log.
Chris Brink
1979 J jnl
Two axiom systems for relation algebras.
Notre Dame J. Formal Log.
Chris Brink