MPI-INF Logo

Publications

Search the publication database
.
Return

Your search returned the following 2 documents:

  1. 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).
  2. 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