Articoli correlati a Complexity of Term Rewriting (Classic Reprint)
Sinossi
Excerpt from Complexity of Term Rewriting
A trs is confluent, if we have t 51 and t 32, then there exists a term u suchthat 31 u and 82 4 u. It is easy to show that for any terminating and confluent trs, a term has a unique normal form.
About the Publisher
Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at www.forgottenbooks.com
This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
