×

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

The articles of this volume will be reviewed individually. For the preceding workshop see Zbl 1230.03007.

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