Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Liitotsing
Valitud kirjed
0
algebra (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
119
Vaata veel..
(2/36)
Ekspordi
ekspordi kõik päringu tulemused
(119)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
101
artikkel kogumikus EST
/
artikkel kogumikus ENG
Type-theoretic constructions of the final coalgebra of the finite powerset functor
Veltri, Niccolo
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)
2021
/
p. 22:1-22:18
https://doi.org/10.4230/LIPIcs.FSCD.2021.22
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
102
artikkel kogumikus EST
/
artikkel kogumikus ENG
A variety theorem for relational universal algebra
Nester, Chad Mitchell
Relational and Algebraic Methods in Computer Science : 19th International Conference, RAMiCS 2021, Marseille, France, November 2–5, 2021 : proceedings
2021
/
p. 362–377
https://doi.org/10.1007/978-3-030-88701-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
103
artikkel kogumikus
Web-based software implementation of finite state machine decomposition for design and education
Devadze, Sergei
;
Kruus, Margus
;
Sudnitsõn, Aleksander
CompSysTech' 2001 : proceedings of the International Conference on Computer Systems and Technologies, Sofia, 21-22 June 2001
2001
/
[6] p. : ill
https://pld.ttu.ee/decomposition/publications/Sudnitson_CST_Estonia.pdf
artikkel kogumikus
104
artikkel kogumikus EST
/
artikkel kogumikus ENG
What makes a strong monad?
McDermott, Dylan
;
Uustalu, Tarmo
Proceedings of the Ninth Workshop on Mathematically Structured Functional Programming
2022
/
p. 113-133
https://doi.org/10.4204/EPTCS.360.6
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
105
raamat
Üldalgebra alused : loengukonspekt
Puusemp, Peeter
2002
http://www.ester.ee/record=b1594092*est
raamat
106
raamat
Üldalgebra alused : õpik kõrgkoolidele
Puusemp, Peeter
2012
https://www.ester.ee/record=b2768990*est
raamat
107
artikkel kogumikus
Алгебраическая структура чисел с операцией дистрибутивной относительно умножения
Kivinukk, Andi
;
Sirel, A.
XXV студенческая научно-техническая конференция вузов Прибалтийских республик, Белорусской ССР и Молдавской ССР, 21-23 апреля 1981 года : тезисы докладов. Том 1, Общественные науки. Физико-математические науки. Строительство. Экономика
1981
/
с. 60
https://www.ester.ee/record=b1322624*est
artikkel kogumikus
108
artikkel kogumikus
Вложения систем Менгера
Henno, Jaak
Всесоюзный коллоквиум по общей алгебре. Резюме сообщений и докладов
1971
artikkel kogumikus
109
artikkel kogumikus
Метод декомпозиции конечных автоматов с использованием алгебры пар покрытий
Sudnitsõn, Aleksander
Расчет и проектирование приборов, устройств и систем технической кибернетики
1980
/
с. 3-9
https://www.ester.ee/record=b1281890*est
https://digikogu.taltech.ee/et/Item/8e0abfe2-9020-4ebd-85d1-fd67de0d1b30
artikkel kogumikus
110
dissertatsioon
О некоторых свойствах систем Менгера : автореферат ... кандидата физико-математических наук (01.01.03)
Henno, Jaak
1974
http://www.ester.ee/record=b1328531*est
dissertatsioon
111
dissertatsioon
О некоторых свойствах систем Менгера : диссертация на соискание ученой степени кандидата физико-математических наук
Henno, Jaak
1973
http://www.ester.ee/record=b3783051*est
dissertatsioon
112
artikkel kogumikus
Отображения между алгебрами ограниченных непрерывных A-значных функций
Abel, Mati
Обработка информации. Функциональный анализ
1974
/
с. 37-48
https://www.ester.ee/record=b1347059*est
https://digikogu.taltech.ee/et/Item/0dd16355-1e9a-4ed9-b616-b6d162fa44a5
artikkel kogumikus
113
artikkel ajakirjas
Плотно вложенные левые идеалы систем Менгера. I
Henno, Jaak
Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics
1973
/
lk. 123-130
https://www.ester.ee/record=b1264310*est
artikkel ajakirjas
114
artikkel ajakirjas
Плотно вложенные правые идеалы систем Менгера
Henno, Jaak
Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics
1972
/
lk. 131-141
https://www.ester.ee/record=b1264310*est
artikkel ajakirjas
115
artikkel ajakirjas
Плотные вложения в системах Менгера
Henno, Jaak
Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics
1972
/
lk. 231-238
https://www.ester.ee/record=b1264310*est
artikkel ajakirjas
116
artikkel kogumikus
Свободные Ω-системы
Henno, Jaak
Математика и теоретическая механика : сборник статей. 7
1973
/
с. 29-40
https://www.ester.ee/record=b2190580*est
https://digikogu.taltech.ee/et/Item/21dbe945-8f82-454a-940e-322b3fdbe756
artikkel kogumikus
117
artikkel ajakirjas
Связность пространства максимальных идеалов алгебры ограниченных непрерывных A-значных функций
Abel, Mati
Eesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics
1973
/
lk. 214-216
https://www.ester.ee/record=b1264310*est
artikkel ajakirjas
118
artikkel kogumikus
Сложность вычислении в многоосновных алгебрах
Henno, Jaak
Материалы конференции "Методы алгебры и функционального анализа при исследовании семейств операторов" : 24-26 ноября 1978
1978
/
с. 93-96
https://www.ester.ee/record=b1272270*est
artikkel kogumikus
119
artikkel kogumikus
Эквивалентности Грина в системах Менгера
Henno, Jaak
Matemaatika- ja mehhaanikaalaseid töid. 10
1971
/
с. 37-46
https://www.ester.ee/record=b1715026*est
artikkel kogumikus
Kirjeid leitud 119, kuvan
101 - 119
eelmine
1
2
3
4
5
järgmine
võtmesõna
30
1.
algebra
2.
algebra of functions
3.
algebra of logic
4.
algebra of multiplace functions
5.
associative algebra
6.
Boolean algebra
7.
Color Lie algebra
8.
computer algebra
9.
computer algebra system
10.
current Lie algebra
11.
Eilenberg-Moore algebra
12.
finitely related algebra
13.
Frobenius algebra
14.
functions' algebra
15.
functions’ algebra
16.
Gerstenhaber algebra and Stokes law
17.
Graded algebra
18.
graphical linear algebra
19.
Kac-Moody algebra
20.
matrix Lie algebra
21.
Menger algebra
22.
Novikov algebra
23.
pair algebra of partitions
24.
poisson algebra
25.
pseudo-linear algebra
26.
quasi-Boolean algebra
27.
Recursive linear algebra
28.
relational algebra
29.
universal algebra
30.
7-valued algebra
märksõna
6
1.
algebra
2.
Boole'i algebra
3.
homoloogiline algebra
4.
kommutatiivne algebra
5.
mittekommutatiivne algebra
6.
von Neumanni algebra
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT