A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column - Inria - Institut national de recherche en sciences et technologies du numérique
Article Dans Une Revue Journal of Automated Reasoning Année : 2022

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

Résumé

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.

Domaines

Logique en informatique [cs.LO]

Sophie Tourret  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-03935941

Soumis le : jeudi 12 janvier 2023-13:29:47

Dernière modification le : lundi 2 décembre 2024-17:46:02

Consulter le texte intégral

Dates et versions

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

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM INRIA-MEDIATION-SCIENTIFIQUE
33 Consultations
0 Téléchargements

Altmetric

Partager

More