Wenn Sie diesen Text sehen, ist auf ihrem Gerät noch nicht das neue Layout geladen worden. Bitte laden Sie diese Seite neu (ggf. mit gedrückter 'Shift'- oder 'Alt'-Taste) oder in einem 'privaten Fenster'.
Weitere Hinweise unter https://www.uni-hildesheim.de/wiki/lsf/faq/fehler.im.layout.

Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2

LSF – Lehre - Studium - Forschung

++ Weitere Informationen zur Vergabe der Plätze unter https://www.uni-hildesheim.de/lsf-vergabe ++

Startseite

Anmelden

Veranstaltungen Einrichtungen Räume und Gebäude Personen

Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility (Beitrag zu einer Tagung / Konferenz) - Einzelansicht

Funktionen:

Grunddaten
Abstract
Beteiligte Personen (intern)
Einrichtung

Grunddaten

Titel der Arbeit (title)	Towards an Efficient Construction of Test Sets for Deciding Ground Reducibility
Erscheinungsjahr	1995
Verlag (publisher)	Springer
Buchtitel (booktitle)	Proceedings of the 6th International Conference on Rewriting Techniques and Applications (RTA '95)
Herausgeber_in (editor)	Jieh Hsiang
Seitenzahl (pages)	86-100
Publikationsart	Beitrag zu einer Tagung / Konferenz

Inhalt
Abstract	We propose a method for constructing test sets for deciding whether a term is ground reducible w.r.t. an arbitrary, many-sorted, unconditional term rewriting system. Our approach is based on a suitable characterization of such test sets using a certain notion of transnormality. It generates very small test sets and shows some promise to be an important step towards a practicable implementation.

Beteiligte Personen

Schmid, Klaus, Professor Dr.

Fettig, Roland

Einrichtung

Abt. Software Systems Engineering

Impressum

Datenschutz

Erklärung zur Barrierefreiheit

HIS