%0 Conference Paper %1 conf/tableaux/Lellmann21 %A Lellmann, Björn %B TABLEAUX %D 2021 %E Das, Anupam %E Negri, Sara %I Springer %K dblp %P 147-164 %T From Input/Output Logics to Conditional Logics via Sequents - with Provers. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#Lellmann21 %V 12842 %@ 978-3-030-86059-2

@inproceedings{conf/tableaux/Lellmann21, added-at = {2021-09-16T00:00:00.000+0200}, author = {Lellmann, Björn}, biburl = {https://www.bibsonomy.org/bibtex/2b51156ea7cae0c2706203043b65d586a/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2021}, editor = {Das, Anupam and Negri, Sara}, ee = {https://doi.org/10.1007/978-3-030-86059-2_9}, interhash = {9373bb175a88fb0f6e54cb60a9c09248}, intrahash = {b51156ea7cae0c2706203043b65d586a}, isbn = {978-3-030-86059-2}, keywords = {dblp}, pages = {147-164}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:33:38.000+0200}, title = {From Input/Output Logics to Conditional Logics via Sequents - with Provers.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#Lellmann21}, volume = 12842, year = 2021 }