A novel term rewriting strategy for certain hierarchical AC-algebraic systems

Bibliographic Details
Main Author:	Okoli, Ifeyinwa
Published:	Loughborough University 1989
Subjects:	510 Theorem proving
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.328542

id	ndltd-bl.uk-oai-ethos.bl.uk-328542
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-3285422017-10-04T03:27:29ZA novel term rewriting strategy for certain hierarchical AC-algebraic systemsOkoli, Ifeyinwa1989510Theorem provingLoughborough Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.328542https://dspace.lboro.ac.uk/2134/10641Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510 Theorem proving
spellingShingle	510 Theorem proving Okoli, Ifeyinwa A novel term rewriting strategy for certain hierarchical AC-algebraic systems
author	Okoli, Ifeyinwa
author_facet	Okoli, Ifeyinwa
author_sort	Okoli, Ifeyinwa
title	A novel term rewriting strategy for certain hierarchical AC-algebraic systems
title_short	A novel term rewriting strategy for certain hierarchical AC-algebraic systems
title_full	A novel term rewriting strategy for certain hierarchical AC-algebraic systems
title_fullStr	A novel term rewriting strategy for certain hierarchical AC-algebraic systems
title_full_unstemmed	A novel term rewriting strategy for certain hierarchical AC-algebraic systems
title_sort	novel term rewriting strategy for certain hierarchical ac-algebraic systems
publisher	Loughborough University
publishDate	1989
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.328542
work_keys_str_mv	AT okoliifeyinwa anoveltermrewritingstrategyforcertainhierarchicalacalgebraicsystems AT okoliifeyinwa noveltermrewritingstrategyforcertainhierarchicalacalgebraicsystems
_version_	1718544058514669568

Similar Items