Ayala-Rincon, Mauricio (ed.); Pimentel, Elaine (ed.); Kamareddine, Fairouz (ed.) Special issue: Logical and semantic frameworks with applications (LSFA 2008 and 2009). Selected papers based on the presentations at the 3rd and 4th workshops, Ouro Preto and BrasĂlia, Brazil, August 2008 and August 2009. (English) Zbl 1255.68017 Theor. Comput. Sci. 412, No. 37, 4851-4966 (2011). The articles of this volume will be reviewed individually. For the preceding workshop see Zbl 1230.03007. Cited in 1 Review MSC: 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 68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) 00B25 Proceedings of conferences of miscellaneous specific interest Citations:Zbl 1230.03007 PDFBibTeX XML