Photo by sudarshan__poojary from unsplash
This special issue collects selected articles from the 14th and 15th editions of the Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019 and 2020). LSFA 2019 was held… Click to show full abstract
This special issue collects selected articles from the 14th and 15th editions of the Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2019 and 2020). LSFA 2019 was held on 25–26 August 2019 in Natal as a satellite event of the 27th International Conference on Automated Deduction (CADE 2019). LSFA 2020 was held on 27–28 August as an online workshop, with organizers from Salvador.
Keywords:
lsfa;
preface special;
lsfa 2019;
2019 2020;
special issue
Journal Title: Mathematical Structures in Computer Science
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Mathematical Structures in Computer Science
Year Published: 2022
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!