En artikel i tillämpad logik av Kim Solin antas till RAMiCS

2015-06-08

Kim Solins artikel i tillämpad logik, "Encoding and decoding in refinement algebra", antas till RAMiCS, Relational and Algebraic Methods in Computer Science.

Nyheter

Senast uppdaterad: 2023-01-08