Preface to special issue: LSFA 2017 and 2018

DOI10.1017/S096012952100044XMaRDI QIDQ5022927zbMATH OpenOpenAlexFDO

Authors

Publication date 20 January 2022

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s096012952100044x

Mathematics Subject Classification ID

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

Recommendations

• Preface to Special Issue: LSFA 2019 and 2020
• Preface: Logical and semantic frameworks with applications
• Special issue: Selected papers of the 7th and 8th workshops on logical and semantic frameworks with applications (LSFA)
• 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

Cited in

(7)

• 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 to Special Issue: LSFA 2019 and 2020
• Preface: Special issue on logical frameworks and meta-languages 2015
• Preface: Logical and semantic frameworks with applications
• Preface to the 18th ILAS conference proceedings, Providence, 2013
• Proceedings of the 6th workshop on logical and semantic frameworks, with applications, Belo Horizonte, Brazil, August 27, 2011

This page was built for publication: Preface to special issue: LSFA 2017 and 2018

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