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

1984

Naval Postgraduate School·1 editions

Bookshelves

0 readers

No users with this book on their shelves. Maybe you could be the first.

0 discussions

0 quotes

0 reviews

0 lists

No lists containing this book.

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