
Select an Action

Asymmetric Unification and Disunification
Title:
Asymmetric Unification and Disunification
Author:
Ravishankar, Veena, author.
ISBN:
9780438004313
Personal Author:
Physical Description:
1 electronic resource (64 pages)
General Note:
Source: Dissertation Abstracts International, Volume: 79-10(E), Section: B.
Advisors: Paliath Narendran; Kimberly A. Cornell Committee members: Neil V. Murray; Richard E. Stearns.
Abstract:
We compare two kinds of unification problems: asymmetric unification and disunification, which are variants of equational unification. Asymmetric unification is a type of equational unification where the solutions keep the right-hand sides of the equations in normal form with respect to the given term rewriting system. In disunification we solve equations and disequations with respect to an equational theory. We contrast the time complexities and decidability of both and show that the two problems are incomparable: there are theories where one is decidable whereas the other is undecidable; for theories which are decidable we show one can be solved in polynomial time while the other is NP-hard. This goes both ways. The time complexity also varies based on the termination ordering used in the term rewriting system.
Local Note:
School code: 0668
Subject Term:
Added Corporate Author:
Available:*
Shelf Number | Item Barcode | Shelf Location | Status |
|---|---|---|---|
| XX(680522.1) | 680522-1001 | Proquest E-Thesis Collection | Searching... |
On Order
Select a list
Make this your default list.
The following items were successfully added.
There was an error while adding the following items. Please try again.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.


