forthcoming. A Formalisation of universal algebra See [8] for some detail. The complete files can be obtained by anonymous ftp from ftp.cs.kun.nl in the directory /pub/CompMath.Found. B Examples This appendix contains examples of equational problems solve (0)

by Ph D thesis
Venue:University of Nijmegen