Value-Oriented Legal Argumentation in Isabelle/HOL






Author(s): Benzmüller, Christoph  ; Fuenmayor Pelaez, 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