( en | de | ru )

 

Disambiguation of "Brink, Chris"

Author of the publication

copydeleteadd this publication to your clipboard
A paradigm for program semantics - power structures and duality.

, and . Studies in logic, language and information CSLI Publications, (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Chris Protzel

Chris Fröhlich

Chris Thümmler

Chris Paschold

Chris Neisse

 

Other publications of authors with the same name

Predicate Relators., and . RelMiCS, page 143-156. (1997)Computing Verisimilitude., and . Notre Dame J. Formal Log., 36 (1): 30-43 (1995)Peirce Algebras., , and . Formal Aspects Comput., 6 (3): 339-358 (1994)A paradigm for program semantics - power structures and duality., and . Studies in logic, language and information CSLI Publications, (2001)A comment on relevant truth table logic.. J. Appl. Non Class. Logics, 2 (2): 243-246 (1992)Autodescriptivity: Beware!, , and . Comput. J., 34 (4): 379-381 (1991)Two axiom systems for relation algebras.. Notre Dame J. Formal Log., 20 (4): 909-914 (1979)Peirce Algebras., and . AMAST, page 163-166. Springer, (1993)Three Dual Ontologies., and . J. Philos. Log., 31 (6): 543-568 (2002)Monotone Predicate Transformers as Up-Closed Multirelations., and . RelMiCS, volume 4136 of Lecture Notes in Computer Science, page 311-327. Springer, (2006)