Value-oriented Legal Argumentation in Isabelle/HOL

Benzmüller, Christoph; Fuenmayor Pelaez, David

doi:10.4230/LIPIcs.ITP.2021.0

Request a copy

Paper published in a book (Scientific congresses, symposiums and conference proceedings)

Value-oriented Legal Argumentation in Isabelle/HOL

Benzmüller, Christoph; Fuenmayor Pelaez, David

2021 • In International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings

Peer reviewed

Permalink
https://hdl.handle.net/10993/49075

DOI
10.4230/LIPIcs.ITP.2021.0

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

LIPIcs-ITP-2021-7.pdf

Publisher postprint (2.51 MB)

Request a copy

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Benzmüller, Christoph; Freie Universität Berlin

Fuenmayor Pelaez, David ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

External co-authors :

yes

Language :

English

Title :

Value-oriented Legal Argumentation in Isabelle/HOL

Publication date :

2021

Event name :

International Conference on Interactive Theorem Proving

Event date :

from 29-06-2021 to 01-07-2021

Audience :

International

Main work title :

International Conference on Interactive Theorem Proving (ITP-2021) - Proceedings

Peer reviewed :

Peer reviewed

Available on ORBilu :

since 18 December 2021

Statistics

Number of views

108 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics