Up a level |
Number of items: 1.
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.