zbMATH — the first resource for mathematics

Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. (English) Zbl 1281.68027
Electronic Notes in Theoretical Computer Science 269. Amsterdam: Elsevier. 137 p., electronic only (2011).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding workshop see [Zbl 1255.68017; Zbl 1281.68015].
Indexed articles:
Shankar, Natarajan; Vaucher, Marc, The mechanical verification of a DPLL-based satisfiability solver, 3-17 [Zbl 1347.68307]
de Queiroz, Ruy J. G. B.; de Oliveira, Anjolina G., The functional interpretation of direct computations, 19-40 [Zbl 1347.03062]
de Moura, Flávio L. C.; Barbosa, A. V.; Ayala-Rincón, M.; Kamareddine, F., A flexible framework for visualisation of computational properties of general explicit substitutions calculi, 41-54 [Zbl 1347.68058]
del Vado Vírseda, Rafael, A theoretical framework for the higher-order cooperation of numeric constraint domains, 55-69 [Zbl 1347.68059]
Freire, Cibele Matos; Martins, Ana Teresa, The descriptive complexity of the deterministic exponential time hierarchy, 71-82 [Zbl 1347.68176]
de Paiva, Valeria, Bridges from language to logic: concepts, contexts and ontologies, 83-94 [Zbl 1347.03058]
Benevides, Mario R. F.; de Freitas, Renata; Viana, Petrucio, Propositional dynamic logic with storing, recovering and parallel composition, 95-107 [Zbl 1347.03059]
Nigam, Vivek; Pimentel, Elaine; Reis, Giselle, Specifying proof systems in linear logic with subexponentials, 109-123 [Zbl 1347.03103]
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Veloso, Paula M., A tool for analysing logics, 125-137 [Zbl 1347.03111]

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
03B70 Logic in computer science
68Q55 Semantics in the theory of computing
00B25 Proceedings of conferences of miscellaneous specific interest
Full Text: Link