Complexity of term representations of finitary functions

Erhard Aichinger; Nebojsa Mudrinski; Jakub Oprsal

doi:10.1142/S0218196718500480

Complexity of term representations of finitary functions

Erhard Aichinger
, Nebojsa Mudrinski
, Jakub Oprsal

Institut für Algebra

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Abstract

The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions, and we show that these bounds are often robust against the change of the basic operations of the structure.

Originalsprache	Englisch
Seiten (von - bis)	1101-1118
Seitenumfang	18
Fachzeitschrift	International Journal of Algebra and Computation
Volume	28
Ausgabenummer	6
DOIs	https://doi.org/10.1142/S0218196718500480
Publikationsstatus	Veröffentlicht - 01 Sep. 2018

Wissenschaftszweige

101 Mathematik
101001 Algebra
101005 Computeralgebra
101013 Mathematische Logik
102031 Theoretische Informatik

JKU-Schwerpunkte

Computation in Informatics and Mathematics
TNF Allgemein

Zugriff auf Dokument

10.1142/S0218196718500480

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

1 Abgeschlossen

Clonoids: a unifying approach to equational logic and clones
Aichinger, E. (Projektleiter*in)
01.02.2017 → 31.01.2020
Projekt: Geförderte Forschung › FWF - Österreichischer Wissenschaftsfonds

Dieses zitieren

@article{78f66c89331c42be99b7204ae237b8b2,

title = "Complexity of term representations of finitary functions",

abstract = "The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions, and we show that these bounds are often robust against the change of the basic operations of the structure.",

author = "Erhard Aichinger and Nebojsa Mudrinski and Jakub Oprsal",

year = "2018",

month = sep,

day = "1",

doi = "10.1142/S0218196718500480",

language = "English",

volume = "28",

pages = "1101--1118",

journal = "International Journal of Algebra and Computation",

issn = "0218-1967",

publisher = "World Scientific Publishing Company",

number = "6",

}

TY - JOUR

T1 - Complexity of term representations of finitary functions

AU - Aichinger, Erhard

AU - Mudrinski, Nebojsa

AU - Oprsal, Jakub

PY - 2018/9/1

Y1 - 2018/9/1

N2 - The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions, and we show that these bounds are often robust against the change of the basic operations of the structure.

AB - The clone of term operations of an algebraic structure consists of all operations that can be expressed by a term in the language of the structure. We consider bounds for the length and the height of the terms expressing these functions, and we show that these bounds are often robust against the change of the basic operations of the structure.

UR - https://www.scopus.com/pages/publications/85050296314

U2 - 10.1142/S0218196718500480

DO - 10.1142/S0218196718500480

M3 - Article

SN - 0218-1967

VL - 28

SP - 1101

EP - 1118

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

IS - 6

ER -

Complexity of term representations of finitary functions

Abstract

Wissenschaftszweige

JKU-Schwerpunkte

Zugriff auf Dokument

Andere Dateien und Links

Projekte

Clonoids: a unifying approach to equational logic and clones

Dieses zitieren