Show simple item record

Some Identities Concerning the Function Subst [x; y; z]

dc.date.accessioned2004-10-04T14:39:23Z
dc.date.accessioned2018-11-24T10:11:55Z
dc.date.available2004-10-04T14:39:23Z
dc.date.available2018-11-24T10:11:55Z
dc.date.issued1962-01-01en_US
dc.identifier.urihttp://hdl.handle.net/1721.1/6100
dc.identifier.urihttp://repository.aust.edu.ng/xmlui/handle/1721.1/6100
dc.descriptionRevised March 1962en_US
dc.description.abstractThe purpose of this paper is two-fold; 1) to explore the use of recursion induction in proving theorem about functions of symbolic expressions, in particular. 2) to investigate thoroughly the algebraic properties of the LISP function subst [x; y; z] by this method. The main result is embodied in Theorem 8.en_US
dc.format.extent2697815 bytes
dc.format.extent2120354 bytes
dc.language.isoen_US
dc.titleSome Identities Concerning the Function Subst [x; y; z]en_US


Files in this item

FilesSizeFormatView
AIM-037.pdf2.120Mbapplication/pdfView/Open
AIM-037.ps2.697Mbapplication/postscriptView/Open

This item appears in the following Collection(s)

Show simple item record