Huaimin Sun
Timeline
1984
0
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
1984
A Model Theory of Logic Programming Methodology.
Proceedings of the Second International Logic Programming Conference, 1984