Logica 2005 Yearbook
| Title | Belief Revision in Constructive Type Theory |
| Publication Type | Conference Paper |
| Authors | Primiero, G |
| Editor | Bilkova, M, Tomala, O |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-376594 |
|---|
UGent Biblio Link:
| Title | Belief Revision in Constructive Type Theory |
| Publication Type | Conference Paper |
| Authors | Primiero, G |
| Editor | Bilkova, M, Tomala, O |
| UGent Biblio Link | http://hdl.handle.net/1854/LU-376594 |
|---|