menu

Home
Topics
Download
Help
Statistics
About

Contribution

Valentin Fouillard

This is an unofficial reimagining of the Archive of Formal Proofs

2021

Belief Revision Theory
by Valentin Fouillard, Safouan Taha, Frédéric Boulanger and Nicolas Sabouret

19 Oct