Browse by People


Up a level
Export as [feed] RSS [feed] RSS 2.0 Short Author List
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.

This list was generated on Sun Nov 12 02:48:39 2023 GMT.