Value-Oriented Legal Argumentation in Isabelle/HOL
Author(s): | Benzmüller, Christoph ![]() ![]() |
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 |