Value-Oriented Legal Argumentation in Isabelle/HOL
Benzmüller, Christoph; Fuenmayor, David (2021): Value-Oriented Legal Argumentation in Isabelle/HOL, in: Liron Cohen, Cezary Kaliszyk, und Cezary Kaliszyk (Hrsg.), 12th International Conference on Interactive Theorem Proving (ITP 2021), Schloss Dagstuhl - Leibniz-Zentrum für Informatik, S. 1–20, doi: 10.4230/LIPICS.ITP.2021.7.
Faculty/Chair:
Author:
 ; 
Title of the compilation:
12th International Conference on Interactive Theorem Proving (ITP 2021)
Editors:
Kaliszyk, Cezary
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
Series ; Volume:
Leibniz International Proceedings in Informatics (LIPIcs) ; 193
Language:
English
DOI:
Peer Reviewed:
Yes:
International Distribution:
Yes:
Type:
Conferenceobject
URI:
Activation date:
August 20, 2022

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/55201