A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Filters
Preface to special issue: LSFA 2017 and 2018
2021
Mathematical Structures in Computer Science
Preserved Fulltext
Out of the total of 29 papers that were presented at LSFA 2017 and 2018, 15 were invited to submit an extended version to this special issue. ...
LSFA aims to be a forum for presenting and discussing work in progress and therefore to provide feedback to authors on their preliminary research. ...
We would like to thank all involved in this special issue. ...
doi:10.1017/s096012952100044x
fatcat:yfcs2dzfubexvni637ihwlynlm
LIPIcs, Volume 188, TYPES 2020, Complete Volume
[article]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
Acknowledgements We would like to thank for the careful and thoughtful review by an anonymous referee. ...
Introduction and Motivation An approach to proof search dubbed "coinductive proof search" has been developed by the authors [5, 7]. ...
) , Braga (2018) and Oslo (2019) . ...
doi:10.4230/lipics.types.2020
fatcat:qlbs2felejcvrfgqts3g7iyaqy