Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT |
scientific article |
Statements
Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (English)
0 references
6 August 2020
0 references
