An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic

Xianchun Zou, Heng Zhang. An Algorithm for Weak Disjunctive Normal Form Reduction in G3 Logic. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 1: Artificial Intelligence, December 12-14, 2008, Wuhan, China. pages 128-131, IEEE Computer Society, 2008. [doi]

Authors

Xianchun Zou

This author has not been identified. Look up 'Xianchun Zou' in Google

Heng Zhang

This author has not been identified. Look up 'Heng Zhang' in Google