isvav_result

publication_year

occurrences__organization__code

solver__id__sc2

result_type__code

Druh výsledku je určen klasifikací RIV, která je oficálním číselníkem IS VaVaI. Stručný přehled výsledků dle RIV je uveden <a href="https://www.vyzkum.cz/FrontClanek.aspx?idsekce=1395" target="_blank" >zde</a>.

language__code

Jazyk výsledku udáva původní jazyk, ve kterém byl daný výsledek vytvořen. Kompletní seznam jazyků ve kterém je možno výsledek do RIV předložit je <a href="https://www.vyzkum.cz/FrontClanek.aspx?idsekce=1397" target="_blank" >zde</a>.

cep__code

ford__code

_group_id67

occurrences__funder__code

Dodavatel dat je poskytovatel podpory na VaV, s jejíž pomocí bylo výsledku dosaženo.

project__programme__code

x_range_count_solvers

project__id

Co hledáte?

Rychlé hledání

Chytré vyhledávání

Filtry

Decompositions of preduals of JBW and JBW* algebras

Positive Fragment of MTL with One Variable and Its Computational Complexity

Representation of States on MV-algebras by Probabilities on R-generated Boolean Algebras

Finitely generated varieties of distributive effect algebras

Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras

Monadic forgetful functors and (non-)presentability for C⁎- and W⁎-algebras

On relative universality and Q-universality of finetely generated varieties of Heyting algebras

O konečně generovaných varietách distributivních double p-algeber a jejich podquasivarietách

MV-algebras and their corresponding Bézout domains

From simplicial Lie algebras and hypercrossed complexes to differential graded Lie algebras via 1-jets