Initially-restricting algebraic theories (0)

by H Reichel
Venue:Proc. 9th MFCS, Rydzyna, Poland. LNCS 88