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.
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)
- Special issue: Applied semantics: selected topics. Selected papers based on the presentation at the 2nd applied semantics meeting (APPSEM'04), Tallinn, Estonia, April 14, 2004.
- Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)
- Special issue: Applied sementics. Selected papers based on the presentations at the 3r workshop of applied semantics (APPSEM 2005), Frauenchiemsee, Germany, September 12--15, 2005.
This page was built for publication: 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.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q652219)
