Articles with "lsfa" as a keyword



Photo by sudarshan__poojary from unsplash

Preface to Special Issue: LSFA 2019 and 2020

Sign Up to like & get
recommendations!
Published in 2022 at "Mathematical Structures in Computer Science"

DOI: 10.1017/s0960129523000075

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… read more here.

Keywords: lsfa; preface special; lsfa 2019; 2019 2020 ... See more keywords