Naibo, Alberto, 1983-....
VIAF ID: 61152682562723311790 ( Personal )
Permalink: http://viaf.org/viaf/61152682562723311790
Preferred Forms
-
- 100 1 _ ‡a Naibo, Alberto, ‡d 1983-....
Works
Title | Sources |
---|---|
The dynamical status of axioms : from proofs to models. | |
Proof theory of epistemic logic of programs | |
Le statut dynamique des axiomes : des preuves aux modèles |