Value-Oriented Legal Argumentation in Isabelle/HOL
| Author(s): | Benzmüller, Christoph  ; Fuenmayor, David |
| Editors: | Cohen, Liron |
| Title of the compilation: | 12th International Conference on Interactive Theorem Proving (ITP 2021) |
| Title of the Journal: | Leibniz International Proceedings in Informatics (LIPIcs) |
| Editors: | Cohen, Liron and Kaliszyk, Cezary |
| ISSN: | 1868-8969 |
| Conference: | 12th International Conference on Interactive Theorem Proving (ITP 2021) |
| Publisher Information: | Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| Year of publication: | 2021 |
| Volume: | 193 |
| Pages: | 1-20 |
| ISBN: | 978-3-95977-188-7 |
| Language(s): | English |
| DOI: | 10.4230/LIPICS.ITP.2021.7 |
| Peer Reviewed: | Ja |
| International Distribution: | Ja |
| Type: | Conferenceobject |
| URI: | https://fis.uni-bamberg.de/handle/uniba/55201 |
| Release Date: | 20. August 2022 |
