AC-KBO Revisited
نویسندگان
چکیده
We consider various definitions of AC-compatible KnuthBendix orders. The orders of Steinbach and of Korovin and Voronkov are revisited. The former is enhanced to a more powerful AC-compatible order and we modify the latter to amend its lack of monotonicity on non-ground terms. We further present new complexity results. An extension reflecting the recent proposal of subterm coefficients in standard Knuth-Bendix orders is also given. The various orders are compared on problems in termination and completion.
منابع مشابه
Derivational Complexity of Knuth-Bendix Orders Revisited
We study the derivational complexity of rewrite systems R compatible with KBO, if the signature of R is in nite. We show that the known bounds on the derivation height are preserved, if R ful ls some mild conditions. This allows us to obtain bounds on the derivational height of non simply terminating TRSs. Furthermore, we re-establish the 2-recursive upper-bound on the derivational complexity o...
متن کاملPartial Status for KBO
We propose an extension of the Knuth-Bendix order (KBO) called KBO with partial status. A standard status indicates permutation of arguments to each function symbol, but we extend them to allow some arguments to be ignored. This idea is similar to the argument filtering, but benefits of these methods are independent and hence can be combined. In addition, we introduce further refinements of KBO...
متن کاملPluto’s Atmosphere and a Targeted-occultation Search for Other Bound Kbo Atmospheres
Processes relevant to Pluto’s atmosphere are discussed, and our current knowledge is summarized, including results of two stellar occultations by Pluto that were observed in 2002. The question of whether other Kuiper belt objects (KBOs) may have bound atmospheres is considered, and observational indicators for KBO atmospheres are described. The definitive detection of a KBO atmosphere could be ...
متن کاملOccultation Searches for Kuiper Belt Objects
The occultation of background stellar sources by foreground Kuiper Belt Objects (KBOs) can be used to survey physical properties of the KBO population. We discuss statistics related to a KBO occultation survey, such as the event duration distribution, and suggest that occultation searches can be effectively used to probe the KBO size distribution below 10 km. In particular, we suggest that occu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- TPLP
دوره 16 شماره
صفحات -
تاریخ انتشار 2014