Proceedings

Terrence W. Pratt

1 paper in the IJCAI proceedings

IJCAI 1971

Kernel Equivalence of Programs and Proving Kernel Equivalence and Correctness by Test Cases
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards