%0 Conference Paper %1 journals/entcs/ArieliS16 %A Arieli, Ofer %A Straßer, Christian %B LSFA %D 2015 %E Benevides, Mario R. F. %E Thiemann, René %I Elsevier %K dblp %P 21-37 %T Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations. %U http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#ArieliS16 %V 323

@inproceedings{journals/entcs/ArieliS16, added-at = {2022-08-16T00:00:00.000+0200}, author = {Arieli, Ofer and Straßer, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2de2b5b3973314cf748d33e017345afb6/dblp}, booktitle = {LSFA}, crossref = {conf/lsfa/2015}, editor = {Benevides, Mario R. F. and Thiemann, René}, ee = {https://www.wikidata.org/entity/Q113317686}, interhash = {8e96f597149c5fb33012317945ef0782}, intrahash = {de2b5b3973314cf748d33e017345afb6}, keywords = {dblp}, pages = {21-37}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-10T07:27:45.000+0200}, title = {Deductive Argumentation by Enhanced Sequent Calculi and Dynamic Derivations.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs323.html#ArieliS16}, volume = 323, year = 2015 }