Stop the war!
Остановите войну!
for scientists:
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
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.