Your search returned the following 4 documents:
-
Autodescriptivity: Beware!
Chris Brink, I. M. Rewitzky, and Renate A. Schmidt
The Computer Journal 34 (4): 380-381, 1991
-
Peirce Algebras
Chris Brink, Katarina Britz, and Renate A. Schmidt
Formal Aspects of Computing 6 (3): 339-358, 1994. Note: Also available as Research Report MPI-I-92-229, Max-Planck-Institut für
Informatik, Saarbrücken, Germany (July 1992), and as Research Report RR 140,
Department of Mathematics, University of Cape Town, Cape Town, South Africa
(August 1992). An extended abstract appears in Nivat, M., Rattray, C., Rus, T.
and Scollo, G. (eds), {\em Algebraic Methodology and Software Technology
(AMAST'93): Proceedings of the 3rd International Conference on Algebraic
Methodology and Software Technology}. {\em Workshops in Computing} Series,
Springer-Verlag, London, 165-168 (1994).
-
Peirce Algebras: Extended Abstract
Chris Brink, Katarina Britz, and Renate A. Schmidt
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), University of Twente, Enschede, Netherlands, June 21-25, 1993, 1994, 163-166
-
Towards Automating Duality
Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach
Journal of Computers and Mathematics with Applications 29 (2): 73-90, 1994. Note: Special Issue on Automated Reasoning. Also available as Research Report MPI-I-93-220, Saarbrücken