Published October 6, 2018
| Version v2
Software
Open
Automated Reasoning in Normative Detachment Structures with Ideal Conditions
Creators
- 1. American University of Paris
- 2. Technical University of Vienna
Description
This archive contains the two programs discussed in the paper as well as the latest distribution of MLeanCoP
Files
Files
(789.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d06378dec4d1b8f3175aaf327c84850b
|
450.6 kB | Download |
|
md5:b6833a4ec98d0ad869acd8c6f2ca392e
|
339.3 kB | Download |