Stouppa, Phiniki

Up a level
Export as [feed] RSS
Group by: Date | Item Type | Refereed | No Grouping
Jump to: 2007

2007

Stouppa, Phiniki (2007). A deep inference system for the modal logic S5. Studia logica, 85(2), pp. 199-214. Dordrecht: Springer Science + Business Media 10.1007/s11225-007-9028-y

Stouppa, Phiniki; Studer, Thomas (2007). A formal model of data privacy. In: Virbitskaite, Irina; Voronkov, Andrei (eds.) Perspectives of Systems Informatics. 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Theoretical Computer Science and General Issues: Vol. 4378 (pp. 400-408). Heidelberg: Springer Verlag 10.1007/978-3-540-70881-0_34

Provide Feedback