Publications
Export 27 results:
[ Author] Title Type Year Filters: Author is Primiero, Giuseppe [Clear All Filters]
“Belief Revision In Constructive Type Theory”. In Logica 2005 Yearbook, Logica 2005 Yearbook, . Filosofia Publisher.
. 2006. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2008.