Show simple item record

AuthorVogler, Heikodc.contributor.author
AuthorFaßbender, Heinzdc.contributor.author
Date of accession2016-03-14T15:19:55Zdc.date.accessioned
Available in OPARU since2016-03-14T15:19:55Zdc.date.available
Year of creation1992dc.date.created
AbstractWe formalize a universal unification algorithm for the class of equational theories which is induced by the class of canonical, totally-defined, not strictly subunifiable term rewriting systems (for short: ctn-trs). For a ctn-trs R and for two terms t and s, the algorithm computes a ground-complete set of E_R-unifiers of t and s, where E_R is the set of rewrite rules of R viewed as equations. The algorithm is based on the unification-driven leftmost outermost narrowing relation (for short: ulo narrowing relation) which is introduced in this paper. The ulo narrowing relation combines usual leftmost outermost narrowing steps and unification steps. Since the unification steps are applied as early as possible, some of the nonsuccessful derivations can be stopped earlier than in other approaches to E_R-unification. Furthermore, we formalize a deterministic version of our universal unification algorithm that is based on a depth-first left-to-right traversal through the narrowing trees.dc.description.abstract
Languageendc.language.iso
PublisherUniversität Ulmdc.publisher
LicenseStandard (Fassung vom 01.10.2008)dc.rights
Link to license texthttps://oparu.uni-ulm.de/xmlui/license_v2dc.rights.uri
Dewey Decimal GroupDDC 004 / Data processing & computer sciencedc.subject.ddc
LCSHComputer algorithmsdc.subject.lcsh
LCSHRewriting systems (Computer science)dc.subject.lcsh
TitleA universal unification algorithm based on unification-driven leftmost outermost narrowingdc.title
Resource typeArbeitspapierdc.type
DOIhttp://dx.doi.org/10.18725/OPARU-1061dc.identifier.doi
PPN1651369283dc.identifier.ppn
URNhttp://nbn-resolving.de/urn:nbn:de:bsz:289-vts-69639dc.identifier.urn
GNDUnifikationstheoriedc.subject.gnd
FacultyFakultät für Ingenieurwissenschaften und Informatikuulm.affiliationGeneral
Date of activation2009-08-09T22:49:27Zuulm.freischaltungVTS
Peer reviewneinuulm.peerReview
DCMI TypeTextuulm.typeDCMI
VTS ID6963uulm.vtsID
CategoryPublikationenuulm.category
uulm seriesUlmer Informatik-Berichteuulm.seriesUlmName
Bibliographyuulmuulm.bibliographie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record