Paper by Kim Solin in applied logic accepted to RAMiCS
Kim Solin's paper in applied logic, "Encoding and decoding in refinement algebra", is accepted to RAMiCS, Relational and Algebraic Methods in Computer Science.
Kim Solin's paper in applied logic, "Encoding and decoding in refinement algebra", is accepted to RAMiCS, Relational and Algebraic Methods in Computer Science.