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
CORE (COnnecting REpositories)