The complexity of Equality Constraint Languages

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F06%3A00206143" target="_blank" >RIV/00216208:11320/06:00206143 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

The complexity of Equality Constraint Languages

Popis výsledku v původním jazyce

We apply algebraic approach to constraint satisfaction on infinite domain and classify complexity of all constraint languages that can be expressed as a boolean combination of = relation.

Název v anglickém jazyce

The complexity of Equality Constraint Languages

Popis výsledku anglicky

We apply algebraic approach to constraint satisfaction on infinite domain and classify complexity of all constraint languages that can be expressed as a boolean combination of = relation.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/1M0545" target="_blank" >1M0545: Institut Teoretické Informatiky</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2006

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ů

Název statě ve sborníku

Computer Science - Theory and Applications

ISBN

3-540-34166-8

ISSN

—

e-ISSN

—

Počet stran výsledku

13

Strana od-do

—

Název nakladatele

Springer

Místo vydání

Berlin

Místo konání akce

Berlin

Datum konání akce

1. 1. 2006

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000238109200014