Please use this identifier to cite or link to this item:
doi:10.22028/D291-25689
Title: | Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen |
Author(s): | Bengeloune, Idriss |
Language: | German |
Year of Publication: | 2000 |
SWD key words: | Programmsynthese ; Konstruktive Methode ; Rekursiver Algorithmus ; Inferenzsystem ; Induktionsbeweis ; Termersetzungssystem |
DDC notations: | 004 Computer science, internet |
Publikation type: | Dissertation |
Abstract: | In dieser Arbeit wurde ein Verfahren vorgestellt, mit dem man rekursiv definierte Algorithmen aus Gueltigkeitsbeweisen von Existenzformeln extrahieren kann.Das Verfahren beschränkt sich auf einen einfachen Formalismus und basiert auf Test-sets und einem Vereinfachungsmechanismus.Termersetzungen und logische Simplifikationen bilden den Kern dieses Vereinfachungsmechanismus, waehrend Test-sets eine Beschreibung des initialen Modells einer Axiommenge darstellen. In this thesis we presented a method for extracting recursive defined algorithms from existentially quantified formulas, being based on a simple formalism, test sets and a simplification strategy.Term rewriting and logical simplification represent the core of that simplification strategy and test sets the description of the initial model of a set of axioms. |
Link to this record: | urn:nbn:de:bsz:291-scidok-1621 hdl:20.500.11880/25745 http://dx.doi.org/10.22028/D291-25689 |
Advisor: | Jacques Loeckx |
Date of oral examination: | 1-Apr-2000 |
Date of registration: | 18-Feb-2004 |
Faculty: | MI - Fakultät für Mathematik und Informatik |
Department: | MI - Informatik |
Collections: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Files for this record:
File | Description | Size | Format | |
---|---|---|---|---|
IdrissBengeloune_ProfDrIngJacquesLoeckx.pdf | 701,63 kB | Adobe PDF | View/Open |
Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.