Advances in Computing Science - ASIAN'98Jieh Hsiang, Atsushi Ohori · First published 2003Open the Tome
Rewriting Techniques and Applications: 6th International Conference, Rta-95, Kaiserslautern, Germany, April 5-7, 1995Jieh Hsiang · First published 1995Open the Tome
Topics in automated theorem proving and program generationJieh Hsiang · First published 1983Open the Tome
