Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Searching
My bookmarks
0
algebra (subject term)
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
starts with
containes
exact match
—
Add criteria
Advanced search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
113
Look more..
(2/36)
Export
export all inquiry results
(113)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
76
journal article
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
journal article
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
77
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
78
book article EST
/
book article 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
book article EST
/
book article ENG
79
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
80
book article EST
/
book article 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
book article EST
/
book article ENG
81
book article
Seminar "Algebra ja tema rakendused" : [2.-4. mail 2008 Viinistul]
Puusemp, Peeter
Aastaraamat 2008 / Eesti Matemaatika Selts
2010
/
lk. 107-109 : fot
book article
82
book article
Seminar "Algebra ja tema rakendused" : Nelijärve, 7.-8. mai 2005
Paal, Eugen
;
Puusemp, Peeter
Aastaraamat 2005 / Eesti Matemaatika Selts
2006
/
lk. 243-244
book article
83
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
84
book article EST
/
book article 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
book article EST
/
book article ENG
85
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
86
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
87
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
88
book article
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
book article
89
book article
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
book article
90
book article EST
/
book article 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
book article EST
/
book article ENG
91
book article
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/
book article
92
book article EST
/
book article 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
book article EST
/
book article ENG
93
book article
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
book article
94
book
3Quantum : Algebra Geometry Information (QQQ Conference 2012) : 10-13 July 2012, Tallinn, Estonia : dedicated to memory of Professor Jean-Louis Loday (1936-2012)
2014
book
95
journal article
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 article
96
journal article EST
/
journal article 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
journal article EST
/
journal article ENG
97
book article EST
/
book article 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
book article EST
/
book article ENG
98
book article EST
/
book article 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
book article EST
/
book article ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
99
book article EST
/
book article 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
book article EST
/
book article ENG
100
book
Üldalgebra alused : loengukonspekt
Puusemp, Peeter
2002
http://www.ester.ee/record=b1594092*est
book
Number of records 113, displaying
76 - 100
previous
1
2
3
4
5
next
keyword
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
subject term
6
1.
algebra
2.
Boole'i algebra
3.
homoloogiline algebra
4.
kommutatiivne algebra
5.
mittekommutatiivne algebra
6.
von Neumanni algebra
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT