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
113
Vaata veel..
(2/36)
Ekspordi
ekspordi kõik päringu tulemused
(113)
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
76
artikkel ajakirjas
The produoidal algebra of process decomposition
Earnshaw, Matthew David
;
Hefford, James
;
Roman Garcia, Mario
arXiv.org
2023
/
56 p. : ill
https://doi.org/10.48550/arXiv.2301.11867
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
77
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Realization of nonlinear time-delay input–output equations
Kaldmäe, Arvo
;
Kotta, Ülle
;
Tõnso, Maris
IEEE Control Systems Letters
2018
/
p. 369-374
https://doi.org/10.1109/LCSYS.2018.2838456
Journal metrics at Scopus
Article at Scopus
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
78
artikkel kogumikus EST
/
artikkel kogumikus ENG
Residuation in existential graphs
Haydon, Nathan Joseph
;
Pietarinen, Ahti-Veikko
Diagrammatic Representation and Inference : 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021 : proceedings
2021
/
p. 229−237
https://doi.org/10.1007/978-3-030-86062-2_21
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
79
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Rule algebras for adhesive categories
Behr, Nicolas
;
Sobocinski, Pawel Maria
Logical methods in computer science
2020
/
p. 2:1−2:38
https://doi.org/10.23638/LMCS-16(3:2)2020
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
80
artikkel kogumikus EST
/
artikkel kogumikus ENG
Runners for interleaving algebraic effects
Voorneveld, Niels
Theoretical Aspects of Computing - ICTAC 2022 : 19th International Colloquium, Tbilisi, Georgia, September 27-30, 2022 : proceedings
2022
/
p. 407-424
https://doi.org/10.1007/978-3-031-17715-6_26
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
81
artikkel kogumikus
Seminar "Algebra ja tema rakendused" : [2.-4. mail 2008 Viinistul]
Puusemp, Peeter
Aastaraamat 2008 / Eesti Matemaatika Selts
2010
/
lk. 107-109 : fot
artikkel kogumikus
82
artikkel kogumikus
Seminar "Algebra ja tema rakendused" : Nelijärve, 7.-8. mai 2005
Paal, Eugen
;
Puusemp, Peeter
Aastaraamat 2005 / Eesti Matemaatika Selts
2006
/
lk. 243-244
artikkel kogumikus
83
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Span(Graph) : a canonical feedback algebra of open transition systems
Di Lavore, Elena
;
Gianola, Alessandro
;
Roman Garcia, Mario
;
Sabadini, Nicoletta
;
Sobocinski, Pawel Maria
Software and systems modeling
2022
/
p. 495-520 : ill
https://doi.org/10.1007/s10270-023-01092-7
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
84
artikkel kogumikus EST
/
artikkel kogumikus ENG
Streams of approximations, equivalence of recursive effectful programs
Veltri, Niccolo
;
Voorneveld, Niels
Mathematics of Program Construction: 14th International Conference, MPC 2022, Tbilisi, Georgia, September 26–28, 2022, Proceedings
2022
/
p. 198-221 : ill
https://doi.org/10.1007/978-3-031-16912-0_8
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
85
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagram rewrite theory I : rewriting with Frobenius structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Journal of the ACM
2022
/
art. 14
https://doi.org/10.1145/3502719
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
86
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagram rewrite theory II : rewriting with symmetric monoidal structure
Bonchi, Filippo
;
Gadducci, Fabio
;
Kissinger, Aleks
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Mathematical structures in computer science
2022
/
p. 511 - 541
https://doi.org/10.1017/S0960129522000317
Journal at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
87
artikkel kogumikus EST
/
artikkel kogumikus ENG
The structure of concurrent process histories
Nester, Chad Mitchell
Coordination Models and Languages : 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings
2021
/
p. 209−224
https://doi.org/10.1007/978-3-030-78142-2_13
Conference proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
88
artikkel kogumikus
Subdividing the positive cone (R+)γ by Voronoi perfect polyhedras and totally positive algebraic integers
Leibak, Alar
17th International conference on "Mathematical Modelling and Analysis" : June 6-9, 2012, Tallinn, Estonia : abstracts
2012
/
p. 78
artikkel kogumikus
89
artikkel kogumikus
Supersymmetry : superfield equations of motion
Loide, Rein-Karl
;
Suurvarik, Pavel
3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)
2014
/
p. 1-7
artikkel kogumikus
90
artikkel kogumikus EST
/
artikkel kogumikus ENG
Sweedler theory of monads
McDermott, Dylan
;
Rivas, Exequiel
;
Uustalu, Tarmo
Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings
2022
/
p. 428-448
https://doi.org/10.1007/978-3-030-99253-8_22
Conference Proceedings at Scopus
Article at Scopus
Conference Proceedings at WOS
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
91
artikkel kogumikus
The connection between different static state feedback linearizability conditions of discrete time nonlinear control systems
Mullari, Tanel
;
Kotta, Ülle
;
Tõnso, Maris
Proceedings of the European Control Conference 2007, Kos, Greece, July 2-5, 2007
2007
/
p. 4268−4275
http://ieeexplore.ieee.org/document/7068444/
artikkel kogumikus
92
artikkel kogumikus EST
/
artikkel kogumikus ENG
The smash product of monoidal theories
Hadzihasanovic, Amar
36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings
2021
/
art. 9470575, 13 p
https://doi.org/10.1109/LICS52264.2021.9470575
Conference proceeding at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
93
artikkel kogumikus
3Quantum : Algebra Geometry Information
Paal, Eugen
;
Kuusk, Piret
;
Stolin, Alexander
3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)
2014
/
p. 1-7
artikkel kogumikus
94
raamat
3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)
2014
raamat
95
artikkel ajakirjas
Transformation of nonlinear discrete-time state equations into the observer form : revision
Mullari, Tanel
;
Kotta, Ülle
Proceedings of the Estonian Academy of Sciences
2023
/
p. 1-5
https://doi.org/10.3176/proc.2023.1.01
artikkel ajakirjas
96
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Triangulated factorization systems and t-structures
Loregian, Fosco
;
Virili, Simone
Journal of algebra
2020
/
p. 219-241
https://doi.org/10.1016/j.jalgebra.2019.12.021
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
97
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
98
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
99
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
100
raamat
Üldalgebra alused : loengukonspekt
Puusemp, Peeter
2002
http://www.ester.ee/record=b1594092*est
raamat
Kirjeid leitud 113, kuvan
76 - 100
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