![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
PSPL@LICS 2010: Edinburgh, Scotland, United Kingdom
- Alex Simpson:
International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010. EPiC Series in Computing 12, EasyChair 2013 - Luís Caires, Carla Ferreira, António Ravara:
A simple proof system for lock-free concurrency. 1-3 - Holger Gast:
A Developer-oriented Hoare Logic. 4-7 - Matteo Mio:
A Proof System for Reasoning about Probabilistic Concurrent Processes. 8-11 - Sungwoo Park, Jonghyun Park:
Towards a Cut-free Sequent Calculus for Boolean BI. 12-16 - Giuseppe Primiero:
A Multi-Modal Dependent Type Theory for Representing Data Accessibility in a Network. 17-22 - Nikolay V. Shilov:
Tableau-Like Automata-Based Axiomatization for Propositional Linear Temporal Logic. 23-24
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.