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.

Announcements

 

Announcement

 

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

Articles

Olivier Danvy
PDF
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.
OK