%0 Conference Paper %1 conf/tableaux/PattinsonS09 %A Pattinson, Dirk %A Schröder, Lutz %B TABLEAUX %D 2009 %E Giese, Martin %E Waaler, Arild %I Springer %K dblp %P 280-294 %T Generic Modal Cut Elimination Applied to Conditional Logics. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#PattinsonS09 %V 5607 %@ 978-3-642-02715-4

@inproceedings{conf/tableaux/PattinsonS09, added-at = {2021-07-25T00:00:00.000+0200}, author = {Pattinson, Dirk and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/21840d2bce0cffde4109fb494fa174522/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2009}, editor = {Giese, Martin and Waaler, Arild}, ee = {https://doi.org/10.1007/978-3-642-02716-1_21}, interhash = {eb4b4c570cf29d1ab0f01385ed1ebee9}, intrahash = {1840d2bce0cffde4109fb494fa174522}, isbn = {978-3-642-02715-4}, keywords = {dblp}, pages = {280-294}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T05:42:01.000+0200}, title = {Generic Modal Cut Elimination Applied to Conditional Logics.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2009.html#PattinsonS09}, volume = 5607, year = 2009 }