Paper by Kim Solin in applied logic accepted to RAMiCS

2015-06-08

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

News