Publications
Export 1 results:
Author Title Type [ Year] Filters: First Letter Of Title is T and Author is Dyckhoff, Roy [Clear All Filters]
“A Tableau Method For Inconsistency-Adaptive Logics” . Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.
. 2000.