Grammar Rewriting

We present a term rewriting procedure based on congruence closure that can be used with arbitrary equational theories. This procedure is motivated by the pragmatic need to prove equations in equational theories where confluence can not be achieved. The procedure uses context free grammars to...

全面介绍

书目详细资料
主要作者: McAllester, David
语言:en_US
出版: 2004
主题:
在线阅读:http://hdl.handle.net/1721.1/5973