A Birkho-like axiomatizability result for hidden algebra and coalgebra (1998)

by G Rosu
Venue:In Proceedings of CMCS'98, volume 11 of ENTCS