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