english
english
česky
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
Publications
Institute
About us
Organigram
Management
Advisory Board
Annual reports and budgets
Information by 106/1999 Coll.
Whistleblowing
Exhibition of comp. technology
Privacy Policy
Research
Projects
Research subject
Awards
Best Publication Competition
Popularization
News
Applications
Transfer department
Applied Informatics
Competencies
References
Events
Library
About Library
Scientific Sources
Publications
Petr Hájek Library
Jobs
Job Offers
Topics for PhD studies
Radius Internships
Contacts
Departments
People
×
Přihlášení
Přihlaste se účtem své organizace prostřednictvím eduID.
Přihlásit přes eduID
english
česky
Publications
Institute
About us
Organigram
Management
Advisory Board
Annual reports and budgets
Information by 106/1999 Coll.
Whistleblowing
Exhibition of comp. technology
Privacy Policy
Research
Projects
Research subject
Awards
Best Publication Competition
Popularization
News
Applications
Transfer department
Applied Informatics
Competencies
References
Events
Library
About Library
Scientific Sources
Publications
Petr Hájek Library
Jobs
Job Offers
Topics for PhD studies
Radius Internships
Contacts
Departments
People
Home
/
Research
/
Projects
/
Enhancing human resources for research in theoretical computer science
Enhancing human resources for research in theoretical computer science
Období:
2018 — 2020
Poskytovatel:
GA MŠk
Financování:
EF - Operační program výzkum, vývoj, vzdělávání
Publikace projektu
Singly generated quasivarieties and residuated structures
(2019)
Epimorphisms in varieties of square-increasing residuated structures
(2019)
On prevarieties of logic
(2019)
On Transitive modal many-valued logics
(2019)
Truth-preservation under fuzzy pp-formulas
(2019)
