Deutsch
 
Hilfe Datenschutzhinweis Impressum
  DetailsucheBrowse

Datensatz

DATENSATZ AKTIONENEXPORT
Zur Ablage hinzufügen
 Lokale TagsFreigabegeschichteDetailsÜbersicht
  Graph Reducibility of Term Rewriting Systems

Krishna Rao, M. R. K. (1995). Graph Reducibility of Term Rewriting Systems. In J. Wiedermann, & P. Hájek (Eds.), Mathematical Foundations of Computer Science 1995 (pp. 371-381). Berlin, Germany: Springer.

Item is

 

einblenden: alle ausblenden: alle

Basisdaten

einblenden: ausblenden:
Datensatz-Permalink: https://hdl.handle.net/11858/00-001M-0000-0014-AD02-8 Versions-Permalink: https://hdl.handle.net/21.11116/0000-000E-5860-3
Genre: Konferenzbeitrag

Externe Referenzen

einblenden:
ausblenden:
externe Referenz:
https://rdcu.be/dxDzI (Verlagsversion)
Beschreibung:
-
OA-Status:
Keine Angabe

Urheber

einblenden:
ausblenden:
 Urheber:
Krishna Rao, M. R. K.1, Autor           
Affiliations:
1Programming Logics, MPI for Informatics, Max Planck Society, ou_40045              

Inhalt

einblenden:
ausblenden:
Schlagwörter: -
 Zusammenfassung: Term rewriting is generally implemented using graph rewriting
for efficiency reasons. Graph rewriting allows
sharing of common structures thereby saving both time and
space. This implementation is sound in the sense that
computation of a normal form of a graph yields a normal
form of the corresponding term. However, certain properties
of term rewriting systems are not reflected in their
graph rewriting implementations. Weak normalization is
one such property. An undesirable side effect of this
is that it may be impossible to compute a normal form
of a normalizable term. In this paper, we present some
sufficient conditions for preservation of weak
normalization and discuss the implication of the results
to modularity.

Details

einblenden:
ausblenden:
Sprache(n): eng - English
 Datum: 2010-03-121995
 Publikationsstatus: Erschienen
 Seiten: -
 Ort, Verlag, Ausgabe: -
 Inhaltsverzeichnis: -
 Art der Begutachtung: -
 Identifikatoren: eDoc: 519515
Anderer: Local-ID: C1256104005ECAFC-50B2C8073ABBAEB5C12562E000355702-KrishnaRao95
DOI: 10.1007/3-540-60246-1_143
BibTex Citekey: KrishnaRao_MFCS95
 Art des Abschluß: -

Veranstaltung

einblenden:
ausblenden:
Titel: 20th International Symposium on Mathematical Foundations of Computer Science
Veranstaltungsort: Prague, Czech Republic
Start-/Enddatum: 1995-08-28 - 1995-09-01

Entscheidung

einblenden:

Projektinformation

einblenden:

Quelle 1

einblenden:
ausblenden:
Titel: Mathematical Foundations of Computer Science 1995
  Untertitel : 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995. Proceedings
  Kurztitel : MFCS 1995
Genre der Quelle: Konferenzband
 Urheber:
Wiedermann, Jirí1, Herausgeber
Hájek, Petr1, Herausgeber
Affiliations:
1 External Organizations, ou_persistent22            
Ort, Verlag, Ausgabe: Berlin, Germany : Springer
Seiten: - Band / Heft: - Artikelnummer: - Start- / Endseite: 371 - 381 Identifikator: ISBN: 978-3-540-60246-0

Quelle 2

einblenden:
ausblenden:
Titel: Lecture Notes in Computer Science
  Kurztitel : LNCS
Genre der Quelle: Reihe
 Urheber:
Affiliations:
Ort, Verlag, Ausgabe: -
Seiten: - Band / Heft: 969 Artikelnummer: - Start- / Endseite: - Identifikator: -