Articles by Y. Jiang (1)

Enumerating Proofs of Positive Formulae

G Dowek and Y. Jiang

Computer Journal 52 ( 7 ): 799 - 807 , 2009

Do you have a suggestion for journals

Suggest Journal