Equational logic of semigroups and applications

Provider

Czech Science Foundation

Programme

Standard projects

Call for proposals

Standardní projekty 1 (SGA02002GA-ST)

Main participants

Masarykova univerzita / Přírodovědecká fakulta

Contest type

VS - Public tender

Contract ID

—

Project name in Czech

Ekvacionální logika pologrup a aplikace

Annotation in Czech

Výzkum bude navazovat na výsledky získané navrhovateli v minulosti s přihlédnutím k současným trendům. Bude se týkat zejména - studia existenčních variet regulárních pologrup, variet unárních pologrup a variet a pseudovariet uspořádaných a polosvazově u

R&D category

—

CEP classification - main branch

BA - General mathematics

CEP - secondary branch

BD - Information theory

CEP - another secondary branch

—

OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)

10101 - Pure mathematics<br>10102 - Applied mathematics<br>10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Provider evaluation

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Project results evaluation

Projekt má nepochybně výrazný odborný přínos, přináší významné původní vysledky. Údaje řešitele na závěrečné kartě jsou adekvátní. Projekt má charakter základního výzkumu v teoretické informatice a matematice. Řešitelé (celkem 4) uvádějí 14 publikací, z

Realization period - beginning

Jan 1, 2001

Realization period - end

Jan 1, 2003

Project status

U - Finished project

Latest support payment

—

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data delivery code

CEP/2004/GA0/GA04GA/U/N/A:11

Data delivery date

May 30, 2008

Total approved costs

735 thou. CZK

Public financial support

450 thou. CZK

Other public sources

285 thou. CZK

Non public and foreign sources

0 thou. CZK