%0 Conference Paper %1 conf/tableaux/GenoveseGGP11 %A Genovese, Valerio %A Giordano, Laura %A Gliozzi, Valentina %A Pozzato, Gian Luca %B TABLEAUX %D 2011 %E Brünnler, Kai %E Metcalfe, George %I Springer %K dblp %P 164-179 %T A Conditional Constructive Logic for Access Control and Its Sequent Calculus. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2011.html#GenoveseGGP11 %V 6793 %@ 978-3-642-22118-7

@inproceedings{conf/tableaux/GenoveseGGP11, added-at = {2018-11-14T00:00:00.000+0100}, author = {Genovese, Valerio and Giordano, Laura and Gliozzi, Valentina and Pozzato, Gian Luca}, biburl = {https://www.bibsonomy.org/bibtex/22bdb3b9e6a9bfd60b45b20d84200e625/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2011}, editor = {Brünnler, Kai and Metcalfe, George}, ee = {https://www.wikidata.org/entity/Q58207605}, interhash = {e2325636797473f4df7fa9a5b4f0b23b}, intrahash = {2bdb3b9e6a9bfd60b45b20d84200e625}, isbn = {978-3-642-22118-7}, keywords = {dblp}, pages = {164-179}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:49:47.000+0200}, title = {A Conditional Constructive Logic for Access Control and Its Sequent Calculus.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2011.html#GenoveseGGP11}, volume = 6793, year = 2011 }