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
128
Vaata veel..
(2/36)
Ekspordi
ekspordi kõik päringu tulemused
(128)
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
On mathematical complexity of Sriyantra
Pustõnski, Vladislav-Venjamin
Indian journal of history of science
2014
/
p. 268-277 : ill
artikkel ajakirjas
77
artikkel ajakirjas
On Shirshov bases of graded algebras
Petrov, Fedor
;
Zusmanovich, Pasha
Israel journal of mathematics
2013
/
p. 23-28
artikkel ajakirjas
78
artikkel ajakirjas
On the utility of Robinson-Amitsur ultrafilters
Zusmanovich, Pasha
Journal of algebra
2013
/
p. 268-286
artikkel ajakirjas
79
artikkel kogumikus
Operadic quantization as a tool for discrete geometry
Paal, Eugen
;
Virkepu, Jüri
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-9
artikkel kogumikus
80
artikkel ajakirjas
Operads and cohomology
Kluge, Liivi
;
Paal, Eugen
Algebras, groups and geometries
2004
/
p. 1-7
artikkel ajakirjas
81
artikkel kogumikus
Operads and nonassociative deformations
Paal, Eugen
Non-associative algebra and its applications
2006
/
p. 323-328
https://www.taylorfrancis.com/chapters/edit/10.1201/9781420003451-34/operads-nonassociative-deformations-eugen-paal
artikkel kogumikus
82
artikkel ajakirjas
Operads for x-physics
Paal, Eugen
Czechoslovak journal of physics
2001
/
12, p. 1407-1413
artikkel ajakirjas
83
artikkel kogumikus
Operads for x-physics
Paal, Eugen
Abstracts of 10th International Colloquium "Quantum Groups and Integrable Systems" : Prague, 21-23 June, 2001
2001
/
p. 8
https://www.researchgate.net/publication/226036969_Operads_for_x-physics
artikkel kogumikus
84
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
85
artikkel kogumikus EST
/
artikkel kogumikus ENG
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
Conference proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
86
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
87
artikkel ajakirjas
Preface to "Algebra, Geometry, and Mathematical Physics 2010"
Abramov, Viktor
;
Fuchs, Jürgen
;
Paal, Eugen
;
Shestopalov, Y.
;
Silvestrov, Sergei
;
Stolin, Alexander
Journal of physics : conference series
2012
/
p. 0111001
https://ui.adsabs.harvard.edu/abs/2012JPhCS.346a1001S/abstract
artikkel ajakirjas
88
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
89
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
90
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
91
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
92
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
93
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
94
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
95
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
96
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
97
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
98
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
99
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
100
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
Kirjeid leitud 128, kuvan
76 - 100
eelmine
1
2
3
4
5
6
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