Proceedings

Pierre Lescanne

1 paper in the IJCAI proceedings

IJCAI 1981

Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards