• English
    • Deutsch
  • English 
    • English
    • Deutsch
  • Login
View Item 
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
  •   Home
  • Universität Ulm
  • Publikationen
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Relative termination

Thumbnail
vts_8146_11884.pdf (9.302Mb)
121 S.

peer-reviewed

Veröffentlichung
2012-08-09
Authors
Geser, Alfons
Bericht


Faculties
Fakultät für Ingenieurwissenschaften und Informatik
Series
Ulmer Informatik-Berichte
Abstract
"Relative termination" is a property that generalizes both termination and "termination modulo". In order to prove that a term rewrite system relatively terminates, one may reuse the common termination quasiorderings. Further proof methods become available by the cooperation property. Relative termination sets up new proof techniques for termination and confluence. The usefulness of the notion of relative termination is finally demonstrated by a proof of completeness for "reduced narrowing" and "normal narrowing", two attractive variants of the narrowing procedure.
Date created
1991
Original publication
Universität Passau, Dissertation 1990
http://d-nb.info/910708509
Subject headings
[GND]: Termersetzungssystem
[LCSH]: Rewriting systems (Computer science)
[DDC subject group]: DDC 004 / Data processing & computer science
License
Standard
https://oparu.uni-ulm.de/xmlui/license_v3

Metadata
Show full item record

DOI & citation

Please use this identifier to cite or link to this item: http://dx.doi.org/10.18725/OPARU-2427

Geser, Alfons (2012): Relative termination. Open Access Repositorium der Universität Ulm und Technischen Hochschule Ulm. http://dx.doi.org/10.18725/OPARU-2427
Citation formatter >



Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement
 

 

Advanced Search

Browse

All of OPARUCommunities & CollectionsPersonsInstitutionsPublication typesUlm SerialsDewey Decimal ClassesEU projects UlmDFG projects UlmOther projects Ulm

My Account

LoginRegister

Statistics

View Usage Statistics

Policy | kiz service OPARU | Contact Us
Impressum | Privacy statement