Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations

Bibliographic Details
Main Author:	Heyworth, A.
Published:	Bangor University 1998
Subjects:	510 Pure mathematics
Online Access:	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275133

id	ndltd-bl.uk-oai-ethos.bl.uk-275133
record_format	oai_dc
spelling	ndltd-bl.uk-oai-ethos.bl.uk-2751332015-03-19T11:07:58ZApplications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relationsHeyworth, A.1998510Pure mathematicsBangor Universityhttp://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275133Electronic Thesis or Dissertation
collection	NDLTD
sources	NDLTD
topic	510 Pure mathematics
spellingShingle	510 Pure mathematics Heyworth, A. Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
author	Heyworth, A.
author_facet	Heyworth, A.
author_sort	Heyworth, A.
title	Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
title_short	Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
title_full	Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
title_fullStr	Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
title_full_unstemmed	Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations
title_sort	applications of rewriting systems and groìˆbner bases to computing kan extensions and identities among relations
publisher	Bangor University
publishDate	1998
url	http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.275133
work_keys_str_mv	AT heywortha applicationsofrewritingsystemsandgroiˆbnerbasestocomputingkanextensionsandidentitiesamongrelations
_version_	1716778698613456896

Applications of rewriting systems and GroÌˆbner bases to computing Kan extensions and identities among relations

Similar Items