Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)

DOI10.1016/J.TCS.2015.10.028MaRDI QIDQ897929zbMATH OpenOpenAlexFDO

Authors

Publication date 8 December 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.10.028

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Recommendations

• scientific article; zbMATH DE number 5999496
• Proceedings of the second workshop on logical and semantic frameworks, with applications (LSFA 2007), Ouro Preto, Brazil, August 28--29, 2007
• Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23--24, 2017
• Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27--28, 2020
• Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008
• Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016
• Proceedings of the 8th workshop on logical and semantic frameworks (LSFA 2013), São Paulo, Brazil, September 2--3, 2013
• scientific article; zbMATH DE number 7750602
• Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26--28, 2018
• 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.

Cited in

(4)

• Preface to special issue: LSFA 2017 and 2018
• Proceedings of the seventh workshop on logical and semantic frameworks, with applications, Rio de Janeiro, Brazil, September 29--30, 2012
• Proceedings of the 16th international workshop on logical and semantic frameworks, with applications, LSFA, Buenos Aires, Argentina, online, July 23--24, 2021
• Preface: Logical and semantic frameworks with applications

This page was built for publication: Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897929)