Seitenbereiche:



Zusatzinformationen:

FUN-Veranstaltungen

FoFö-Stammtisch, 23. November 2017, 14 Uhr siehe Info-Veranstaltungen

Kontakt

Abteilung Forschungsunterstützung (FUN):
forschen@jku.at


Positionsanzeige:

Inhalt:

Forschungseinheiten

Aufsatz / Paper in Online-Archiv (nicht-referiert)

Complexity of term representations of finitary functions

Aichinger E., Mudrinski N., Oprsal J.: Complexity of term representations of finitary functions, in: arXiv, Number arXiv:1709.01759, 2017.

BibTeX

@ARTICLE{
title = {Complexity of term representations of finitary functions},
type = {Aufsatz / Paper in Online-Archiv (nicht-referiert)},
author = {Aichinger, Erhard and Mudrinski, Nebojsa and Oprsal, Jakub},
language = {EN},
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.},
journal = {arXiv},
number = {arXiv:1709.01759},
month = {9},
year = {2017},
}

Details

Zusammenfassung: 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.

Journal: arXiv
Nummer: arXiv:1709.01759
Erscheinungsjahr: 2017
Anzahl Seiten: 13
Reichweite: International

Beteiligte

AutorInnen / HerausgeberInnen: Assoz.Univprof. DI Dr. Erhard Aichinger, Dr. Nebojsa Mudrinski, Jakub Oprsal

Forschungseinheiten der JKU:

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

Zurück Zurück