Filters








2 Hits in 4.3 sec

Preface to special issue: LSFA 2017 and 2018

Sandra Alves, Renata Wassermann
2021 Mathematical Structures in Computer Science  
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]

Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
2021
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