Decidability of absorption in relation structures of bounded width

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F15%3A10317515" target="_blank" >RIV/00216208:11320/15:10317515 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Decidability of absorption in relation structures of bounded width
Popis výsledku v původním jazyce
The theory of absorption has proven to be a very useful tool in the algebraic approach to the constraint satisfaction problem and structure of finite algebras in general. This paper studies absorption in relational structures of bounded width. In this case the notions of absorbing and Jonsson absorbing subuniverse coincide. As a consequence, it is decidable whether a given subset is an absorbing subuniverse.
Název v anglickém jazyce
Decidability of absorption in relation structures of bounded width
Popis výsledku anglicky
The theory of absorption has proven to be a very useful tool in the algebraic approach to the constraint satisfaction problem and structure of finite algebras in general. This paper studies absorption in relational structures of bounded width. In this case the notions of absorbing and Jonsson absorbing subuniverse coincide. As a consequence, it is decidable whether a given subset is an absorbing subuniverse.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—

Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2015
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)