Journal Articles Journal of Automated Reasoning Year : 2022

A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

Abstract

Shortly before Larry Wos passed away, he sent a manuscript for discussion to Sophie Tourret, the editor of the AAR newsletter. We present excerpts from this final manuscript, put it in its historic context and explain its relevance for today’s research in automated reasoning.

Dates and versions

hal-03935941 , version 1 (12-01-2023)

Identifiers

Cite

Sophie Tourret, Christoph Weidenbach. A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column. Journal of Automated Reasoning, 2022, 66 (4), pp.575-584. ⟨10.1007/s10817-022-09617-3⟩. ⟨hal-03935941⟩
46 View
0 Download

Altmetric

Share

More