%0 Conference Paper %1 conf/ictac/GuzmanPRV16 %A Guzmán, Michell %A Perchy, Salim %A Rueda, Camilo %A Valencia, Frank D. %B ICTAC %D 2016 %E Sampaio, Augusto %E Wang, Farn %K %P 214-232 %T Deriving Inverse Operators for Modal Logic. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#GuzmanPRV16 %V 9965 %@ 978-3-319-46749-8

@inproceedings{conf/ictac/GuzmanPRV16, added-at = {2023-12-13T05:41:28.000+0100}, author = {Guzmán, Michell and Perchy, Salim and Rueda, Camilo and Valencia, Frank D.}, biburl = {https://www.bibsonomy.org/bibtex/23098197fe074da1a8c1740d667f76b2f/admin}, booktitle = {ICTAC}, crossref = {conf/ictac/2016}, editor = {Sampaio, Augusto and Wang, Farn}, ee = {https://doi.org/10.1007/978-3-319-46750-4_13}, interhash = {a56ed487a80f98c0f51a1bf6aae8ae75}, intrahash = {3098197fe074da1a8c1740d667f76b2f}, isbn = {978-3-319-46749-8}, keywords = {}, pages = {214-232}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:41:28.000+0100}, title = {Deriving Inverse Operators for Modal Logic.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2016.html#GuzmanPRV16}, volume = 9965, year = 2016 }