Gentzen-Type Formel System Representing Properties of Function and its Implementation.

T. Nishimura, M. Nakanishi, M. Nogeta, Y. Iwamaru

Browse the full IJCAI paper archive.