Chris Brink

According to our database, Chris Brink authored at least 17 papers between 1979 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Monotone Predicate Transformers as Up-Closed Multirelations.

Ingrid Rewitzky, Chris Brink

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2002

Three Dual Ontologies.

Chris Brink, Ingrid Rewitzky

J. Philos. Log., 2002

2001

A paradigm for program semantics - power structures and duality.

Chris Brink, Ingrid Rewitzky

Studies in logic, language and information 17, CSLI Publications, ISBN: 978-1-57586-344-3, 2001

1999

Finite-Cofinite Program Relations.

Chris Brink, Ingrid Rewitzky

Log. J. IGPL, 1999

1998

Unification of Four Versions of Program Semantics.

Ingrid Rewitzky, Chris Brink

Formal Aspects Comput., 1998

1997

Predicate Relators.

Chris Brink, Ingrid Rewitzky

Proceedings of the Participants Copies of Third International Seminar on the Use of Relational Methods in Computer Science, 1997

Background Material.

Peter Jipsen, Chris Brink, Gunther Schmidt

Proceedings of the Relational Methods in Computer Science., 1997

1995

Computing Verisimilitude.

Katarina Britz, Chris Brink

Notre Dame J. Formal Log., 1995

Predicate Transformers as Power Operations.

Ingrid Rewitzky, Chris Brink

Formal Aspects Comput., 1995

1994

Peirce Algebras.

Chris Brink, Katarina Britz, Renate A. Schmidt

Formal Aspects Comput., 1994

1993

Peirce Algebras.

Chris Brink, Katarina Britz

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Verisimilitude via Vietoris.

Chris Brink, J. J. C. Vermeulen, J. P. G. Pretorius

J. Log. Comput., 1992

A comment on relevant truth table logic.

Chris Brink

J. Appl. Non Class. Logics, 1992

1991

Autodescriptivity: Beware!

Chris Brink, Ingrid Rewitzky, Renate A. Schmidt

Comput. J., 1991

1989

R⌝-algebras and R⌝-model structures as power constructs.

Chris Brink

Stud Logica, 1989

1979

Two axiom systems for relation algebras.

Chris Brink

Notre Dame J. Formal Log., 1979

The algebra of relatives.

Chris Brink

Notre Dame J. Formal Log., 1979