Publications

Export 1 results:
Author [ Title(Desc)] Type Year
Filters: Author is Dyckhoff, Roy  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
T
Batens, Diderik, and Joke Meheus. 2000. “A Tableau Method For Inconsistency-Adaptive Logics” Roy Dyckhoff. Automated Reasoning with Analytic Tableaux and Related Methods 1847: 127–142.