Dvorak, Wolfgang and Dunne, Paul E 
ORCID: 0000-0002-6033-3742
(2017)
COMPUTATIONAL PROBLEMS IN FORMAL ARGUMENTATION AND THEIR COMPLEXITY.
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 4 (8).
pp. 2557-2622.
|
PDF
HOFA-complexity-authorsversion.pdf - Author Accepted Manuscript Download (673kB) | Preview |
| Item Type: | Article |
|---|---|
| Depositing User: | Symplectic Admin |
| Date Deposited: | 15 Dec 2022 09:32 |
| Last Modified: | 15 Dec 2022 09:32 |
| Related URLs: | |
| URI: | https://livrepository.liverpool.ac.uk/id/eprint/3166670 |
Share
Share
Share
CORE (COnnecting REpositories)