Proof analysis of global consequence
- Tranchini, L.
- Cobreros, P.
ISSN: 0024-5836
Year of publication: 2017
Volume: 60
Issue: 239
Pages: 355-373
Type: Conference paper
Journal:
Logique et Analyse