![](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
5th LSFA 2010: Natal, Brazil
- Edward Hermann Haeusler, Luis Fariñas del Cerro:
Proceedings of the Fifth Logical and Semantic Frameworks, with Applications Workshop, LSFA 2010, Natal, Brazil, August 31, 2010. Electronic Notes in Theoretical Computer Science 269, Elsevier 2011 - Edward Hermann Haeusler, Luis Fariñas del Cerro:
Preface. 1-2 - Natarajan Shankar, Marc Vaucher:
The Mechanical Verification of a DPLL-Based Satisfiability Solver. 3-17 - Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
The Functional Interpretation of Direct Computations. 19-40 - Flávio L. C. de Moura
, A. V. Barbosa, Mauricio Ayala-Rincón
, Fairouz Kamareddine:
A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi. 41-54 - Rafael del Vado Vírseda:
A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains. 55-69 - Cibele Matos Freire, Ana Teresa C. Martins:
The Descriptive Complexity of the Deterministic Exponential Time Hierarchy. 71-82 - Valeria de Paiva
:
Bridges from Language to Logic: Concepts, Contexts and Ontologies. 83-94 - Mario R. F. Benevides
, Renata P. de Freitas, Jorge Petrucio Viana:
Propositional Dynamic Logic with Storing, Recovering and Parallel Composition. 95-107 - Vivek Nigam, Elaine Pimentel
, Giselle Reis:
Specifying Proof Systems in Linear Logic with Subexponentials. 109-123 - Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso:
A Tool for Analysing Logics. 125-137
![](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.