%0 Conference Paper %1 conf/cade/CerroH88 %A del Cerro, Luis Fariñas %A Herzig, Andreas %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 487-499 %T Linear Modal Deductions. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#CerroH88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/CerroH88, added-at = {2017-05-19T00:00:00.000+0200}, author = {del Cerro, Luis Fariñas and Herzig, Andreas}, biburl = {https://www.bibsonomy.org/bibtex/26e235f014f7a1593c58e9868745f4b48/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012851}, interhash = {7f13da465d6d46cfd5500072085d8aa4}, intrahash = {6e235f014f7a1593c58e9868745f4b48}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {487-499}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {Linear Modal Deductions.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#CerroH88}, volume = 310, year = 1988 }