The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Chris Brink: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

Search in 0.015secs, Finished in 0.016secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002