938 followers
Some of his recent papers include: ** (with Y. Chen) FDE: A Logic of Clutters (2012) https://t.co/MEroWJL5QV https://t.co/txPUg7inXa
Some of his recent papers include: ** (with Y. Chen) FDE: A Logic of Clutters (2012) https://t.co/MEroWJL5QV https://t.co/txPUg7inXa