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
Otsing
Valitud kirjed
0
algebra (märksõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
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
76
dissertatsioon
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
Nester, Chad Mitchell
2024
https://www.ester.ee/record=b5650413*est
https://digikogu.taltech.ee/et/Item/696327ea-955a-45ad-bf93-bca34084131f
https://doi.org/10.23658/taltech.4/2024
dissertatsioon
Seotud publikatsioonid
8
Functorial semantics for partial theories
Situated transition systems
Concurrent process histories and resource transducers
A foundation for ledger structures
A variety theorem for relational universal algebra
The structure of concurrent process histories
Cornering optics : preprint
Protocol choice and iteration for the free cornering
77
artikkel kogumikus
Peirce's sequent proofs of distributivity
Ma, Minghui
;
Pietarinen, Ahti-Veikko
Logic and Its Applications : 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings
2017
/
p. 168-182
https://doi.org/10.1007/978-3-662-54069-5_13
artikkel kogumikus
78
artikkel kogumikus
Preface
Makhlouf, Abdenacer
;
Paal, Eugen
;
Silvestrov, Sergei
;
Stolin, Alexander
Algebra, geometry and mathematical physics : AGMP, Mulhouse, France, October 2011
2014
/
p. vii-ix
artikkel kogumikus
79
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
80
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
81
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
Seotud publikatsioonid
1
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
82
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
83
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
84
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
85
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
86
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
2023
/
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
87
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
88
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
89
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
90
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
91
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
92
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
93
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
94
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
95
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
96
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
97
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
98
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
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
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
99
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
100
artikkel kogumikus
2D binary operadic Lax representation for harmonic oscillator
Paal, Eugen
;
Virkepu, Jüri
Koninklijke Vlaamse Academie van Belgie voor Wetenschappen en Kunsten
2010
/
p. 209-216
https://www.researchgate.net/publication/1913785_2D_binary_operadic_Lax_representation_for_harmonic_oscillator
artikkel kogumikus
Kirjeid leitud 119, 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