Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40158
Titel: A representation for the non-instances of linear terms
VerfasserIn: Gerlach, Horst
Sprache: Englisch
Erscheinungsjahr: 1988
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Given a signature (S, Σ) and a Σ-term t ∈ TΣ (X)s of sort s ∈ S, X = (Xs)s∈ S G S being a family of countably infinite sets of variables, we call a set B ⊆ TΣ (X)s of Σ-terms a representation for the non-instances of t (w.r.t. (S, Σ) ) iff the Σ -groundinstances of the elements of B are precisely those Σ -groundterms of sort s that are not a Σ -instance of t. We recursively define a family (Bt)t∈T Σ (X)s, s∈S of sets of Σ-terms (w.r.t. an implicit well ordering of the sets XS of variables) in such a way, that for each linear Σ -term t, Bt is a representation for the non-instances of t (w.r.t. (S, Σ)) that satisfies both a minimality and an embedding property. In particular, Bt is computable and finite if, in addition, Σ contains but a finite number of operation symbols.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-401580
hdl:20.500.11880/36232
http://dx.doi.org/10.22028/D291-40158
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 88,5
Datum des Eintrags: 11-Aug-2023
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
SEKI-Report-SR-88-05_Gerlach_A-representation-for-the-non=instances-of-linear-terms.pdf2,09 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.