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