Liu, Peiya

2 publications

AAAI 1987 A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts Peiya Liu, Ruey-Juin Chang

IJCAI 1985 A Logic Programming and Verification System for Recursive Quantificational Logic Frank M. Brown, Peiya Liu