Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

Publications Master Template, generated: 2:25, 21 October 2019

Search the publication database

  . Return

Your search returned the following 4 documents:

  1. Chris Brink, I. M. Rewitzky, and Renate A. Schmidt
    Autodescriptivity: Beware!
    The Computer Journal 34 (4): 380-381, 1991
  2. Chris Brink, Katarina Britz, and Renate A. Schmidt
    Peirce Algebras
    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).
  3. Chris Brink, Katarina Britz, and Renate A. Schmidt
    Peirce Algebras: Extended Abstract
    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
  4. Chris Brink, Dov M. Gabbay, and Hans Jürgen Ohlbach
    Towards Automating Duality
    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