Volume 51, Issue 1
June 2013Special Issue of Selected Extended Papers of CADE-23
- Issue Editors:
-
- Nikolaj Bjørner,
- Viorica Sofronie-Stokkermans
6 articles in this issue