default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPSPL@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
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.
last updated on 2025-03-01 15:16 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
