BRICS Report Series

Journal Homepage Image

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.





We are happy to announce, that our highly regarded BRICS RS preprint series by the Computer Science Department, Aarhus University, DK, now are accessible by our Open Journal System (OJS) server.

Posted: 2015-08-17
More Announcements...

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

Table of Contents


Olivier Danvy
This website uses cookies to allow us to see how the site is used. The cookies cannot identify you or any content at your own computer.