%0 Journal Article %1 journals/corr/abs-2110-09174 %A Steen, Alexander %A Fuenmayor, David %D 2021 %J CoRR %K dblp %T A Formalisation of Abstract Argumentation in Higher-Order Logic. %U http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-09174 %V abs/2110.09174

@article{journals/corr/abs-2110-09174, added-at = {2021-10-22T00:00:00.000+0200}, author = {Steen, Alexander and Fuenmayor, David}, biburl = {https://www.bibsonomy.org/bibtex/23fb3c1b5dadc38b53808c767d174ba2e/dblp}, ee = {https://arxiv.org/abs/2110.09174}, interhash = {430c8a59b6f8d00203c64a7535e13862}, intrahash = {3fb3c1b5dadc38b53808c767d174ba2e}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:21:27.000+0200}, title = {A Formalisation of Abstract Argumentation in Higher-Order Logic.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2110.html#abs-2110-09174}, volume = {abs/2110.09174}, year = 2021 }