Publications
Export 6 results:
Author Title Type [ Year] Filters: First Letter Of Title is M and Author is Primiero, Giuseppe [Clear All Filters]
“A Modal Type Theory For Formalizing Trusted Communications”. Journal of Applied Logic 10: 92–114.
. 2012. “A Multi-Modal Dependent Type Theory For Representing Data Accessibility In A Network.”. In Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Electronic Proceedings of the Federated Logic Conference 2010 (Proof Systems for Program Logics Workshop), Citeseer.
. 2010. “Majority Merging By Adaptive Counting”. Synthese (KRA Serie) 165: 203–223.
. 2008. A Model For Processing Updates With Inconsistent Information On Propositional Databases. College Publications.
. 2008.