Docherty, S;
Pym, D;
(2018)
Modular Tableaux Calculi for Separation Theories.
In: Baier, C and Dal Lago, U, (eds.)
(Proceedings) FoSSaCS 2018, 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece.
Springer
Preview |
Text
Docherty_Modular Tableaux_Extract.pdf - Published Version Download (439kB) | Preview |
| Type: | Proceedings paper |
|---|---|
| Title: | Modular Tableaux Calculi for Separation Theories |
| Event: | FoSSaCS 2018, 21st International Conference on Foundations of Software Science and Computation Structures, 14-20 April 2018, Thessaloniki, Greece |
| Location: | Thessaloniki |
| Dates: | 14 April 2018 - 20 April 2018 |
| Open access status: | An open access version is available from UCL Discovery |
| Publisher version: | https://www.etaps.org/index.php/2018/fossacs |
| Language: | English |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery.ucl.ac.uk/id/eprint/10044097 |
Downloads since deposit
75Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months
Archive Staff Only
 |
View Item |
