Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk quads Abschlussveranstaltung des Graduiertenkollegs - Huth - Document - PDFSEARCH.IO

First Page	Meta Content
	Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk/quads/ Abschlussveranstaltung des Graduiertenkollegs Add to Reading List Document Date: 2008-09-05 11:42:02 Open Document File Size: 343,52 KB Share Result on Facebook City Freiburg / / Person Michael Huth / Michael Huth imperial / Glenn Bruns / / SocialTag Philosophical logic Philosophy of mathematics Huth Surnames Truth Analysis Mathematical logic Model theory Philosophy Logic

Access-Control Policies via Belnap logic: expressive composition and simple analysis Michael Huth imperial.ac.uk/quads/ Abschlussveranstaltung des GraduiertenkollegsAdd to Reading List