Current Issue

No. 7 (2008): RS-7 Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: ...
View All Issues

The BRICS RS series covers to theoretical computer science in a broad sense.More specifically, the series contains contributions to areas including Algorithms, Data Structures, Complexity Theory, Cryptography, Semantics, Programming Languages, Logics in Computer Science, Concurrency, Verification, and Bioinformatics.