نتایج جستجو برای: rewrite
تعداد نتایج: 4028 فیلتر نتایج به سال:
1989
Nachum DERSHOWITZ
David A. PLAISTED
We study properties of rewrite systems that are not necessarily terminating, but allow instead for trans nite derivations that have a limit. In particular, we give conditions for the existence of a limit and for its uniqueness and relate the operational and algebraic semantics of in nitary theories. We also consider su cient completeness of hierarchical systems. Is there no limit? |Job 16:3
Journal:
:Electronic Notes in Theoretical Computer Science
2002
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید