![](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
9th LSFA 2014: Brasília, Brazil
- Mauricio Ayala-Rincón, Ian Mackie:
Ninth Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2014, Brasília, Brazil, September 8-9, 2014. Electronic Notes in Theoretical Computer Science 312, Elsevier 2015 - Mauricio Ayala-Rincón
, Ian Mackie:
Preface. 1-2 - Ugo Montanari, Matteo Sammartino
:
Network-Conscious π-calculus - A Model of Pastry. 3-17 - Andrew M. Pitts
, Justus Matthiesen, Jasper Derikx:
A Dependent Type Theory with Abstractable Names. 19-50 - Christian Sternagel, René Thiemann
:
A Framework for Developing Stand-Alone Certifiers. 51-67 - Abeer S. Al-Humaimeedy, Maribel Fernández:
Enabling Synchronous and Asynchronous Communications in CSP for SOC. 69-88 - Sandra Alves
, Maribel Fernández:
A Framework for the Analysis of Access Control Policies with Emergency Management. 89-105 - Cécilia Englander, Gilles Dowek
, Edward Hermann Haeusler:
Yet Another Bijection Between Sequent Calculus and Natural Deduction. 107-124 - Cláudia Nalon, Bruno Lopes
, Gilles Dowek
, Edward Hermann Haeusler:
A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. 125-141 - Natalia Novak:
Practical Extraction of Evidence Terms From Common-knowledge Reasoning. 143-160 - Jaime Arias
, Michell Guzmán, Carlos Olarte
:
A Symbolic Model for Timed Concurrent Constraint Programming. 161-177 - Carlos Olarte
, Elaine Pimentel
:
Proving Concurrent Constraint Programming Correct, Revisited. 179-195 - Vincent Rahli
, Joe B. Wells, John Pirie, Fairouz Kamareddine:
Skalpel: A Type Error Slicer for Standard ML. 197-213 - Alvaro Tasistro
, Ernesto Copello, Nora Szasz
:
Formalisation in Constructive Type Theory of Stoughton's Substitution for the Lambda Calculus. 215-230 - Paulo A. S. Veloso, Sheila R. M. Veloso, Mario R. F. Benevides
:
On Graph Calculi for Multi-modal Logics. 231-252
![](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.