Klaus Weich

发表

Decision Procedures for Intuitionistic Propositional Logic by Program Extraction

Klaus Weich, Klaus Weich, 1998, TABLEAUX.

Improving proof search in intuitionistic propositional logic

Klaus Weich, 2001 .