An algorithm to test for confluence in a system of left to right rewrite rules.

Bibliographic Details
Main Author:	Griffin, Rachel
Other Authors:	NA
Language:	en_US
Published:	Monterey, California. Naval Postgraduate School 2012
Online Access:	http://hdl.handle.net/10945/19121

id	ndltd-nps.edu-oai-calhoun.nps.edu-10945-19121
record_format	oai_dc
spelling	ndltd-nps.edu-oai-calhoun.nps.edu-10945-191212014-11-27T16:13:05Z An algorithm to test for confluence in a system of left to right rewrite rules. Griffin, Rachel NA NA NA 2012-11-19T23:48:25Z 2012-11-19T23:48:25Z 1984 Thesis http://hdl.handle.net/10945/19121 ocn640329682 en_US Monterey, California. Naval Postgraduate School
collection	NDLTD
language	en_US
sources	NDLTD
author2	NA
author_facet	NA Griffin, Rachel
author	Griffin, Rachel
spellingShingle	Griffin, Rachel An algorithm to test for confluence in a system of left to right rewrite rules.
author_sort	Griffin, Rachel
title	An algorithm to test for confluence in a system of left to right rewrite rules.
title_short	An algorithm to test for confluence in a system of left to right rewrite rules.
title_full	An algorithm to test for confluence in a system of left to right rewrite rules.
title_fullStr	An algorithm to test for confluence in a system of left to right rewrite rules.
title_full_unstemmed	An algorithm to test for confluence in a system of left to right rewrite rules.
title_sort	algorithm to test for confluence in a system of left to right rewrite rules.
publisher	Monterey, California. Naval Postgraduate School
publishDate	2012
url	http://hdl.handle.net/10945/19121
work_keys_str_mv	AT griffinrachel analgorithmtotestforconfluenceinasystemoflefttorightrewriterules AT griffinrachel algorithmtotestforconfluenceinasystemoflefttorightrewriterules
_version_	1716723181542178816

Similar Items