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
category theory (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
sõna
algab
täpne vaste
vabatekst
—
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
14
Vaata veel..
(1/205)
Ekspordi
ekspordi kõik päringu tulemused
(14)
Salvesta TXT 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
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Coinductive streams in monoidal categories
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
Logical methods in computer science
2025
/
p. 18:1–18:52 : ill
https://doi.org//10.46298/LMCS-21(3:18)2025
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
2
artikkel kogumikus EST
/
artikkel kogumikus ENG
Compositional modelling of network games
Di Lavore, Elena
;
Hedges, Jules
;
Sobocinski, Pawel Maria
29th EACSL Annual Conference on Computer Science Logic : CSL 2021, January 25–28, 2021, Ljubljana, Slovenia (Virtual Conference)
2021
/
art. 30, p. 30:1–30:24 : ill
https://doi.org/10.4230/LIPIcs.CSL.2021.30
Conference Proceedings at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
p. 7:1-7:22 : ill
https://doi.org/10.46298/LMCS-19(1:7)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
4
artikkel kogumikus
A foundation for ledger structures
Nester, Chad Mitchell
2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France
2021
/
art. 7, p. 7:1–7:31
https://doi.org/10.4230/OASIcs.Tokenomics.2020.7
artikkel kogumikus
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
5
artikkel kogumikus EST
/
artikkel kogumikus ENG
Higher-dimensional subdiagram matching
Hadzihasanovic, Amar
;
Kessler, Diana-Maria
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 2023
2023
/
13 p
https://doi.org/10.1109/LICS56636.2023.10175726
Conference Proceedings at Scopus
Article at Scopus
Article at WOS
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid
6
artikkel kogumikus EST
/
artikkel kogumikus ENG
Monoidal streams for dataflow programming
Di Lavore, Elena
;
De Felice, Giovanni
;
Roman Garcia, Mario
37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 2022
2022
/
art. 3533365, p. 1-14 : ill
https://doi.org/10.1145/3531130.3533365
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Seotud publikatsioonid
1
Monoidal context theory = Monoidiliste kontekstide teooria
7
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
p. 15:1–15:46 : ill
https://doi.org/10.46298/LMCS-19(3:15)2023
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
8
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Protocol choice and iteration for the free cornering
Nester, Chad Mitchell
;
Voorneveld, Niels Frits Willem
Journal of logical and algebraic methods in programming
2024
/
art. 100942, 30 p
https://doi.org/10.1016/j.jlamp.2023.100942
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
9
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Semi-substructural logics à la Lambek with symmetry
Wan, Cheng-Syuan
Bulletin of the section of logic
2026
/
p. 519-576 : ill
https://doi.org/10.18778/0138-0680.2025.17
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
10
artikkel kogumikus EST
/
artikkel kogumikus ENG
Slice nondeterminism
Voorneveld, Niels Frits Willem
4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 2023
2023
/
art. 31, 19 p
https://doi.org/10.4230/LIPIcs.ITP.2023.31
Conference proceeding at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
11
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
12
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
13
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
String diagrams for premonoidal categories
Roman Garcia, Mario
;
Sobocinski, Pawel Maria
Logical methods in computer science
2025
/
20 p. : ill
https://lmcs.episciences.org/15593/pdf
https://doi.org/10.46298/LMCS-21(2:9)2025
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
14
artikkel kogumikus EST
/
artikkel kogumikus ENG
A survey of Compositional signal flow theory
Bonchi, Filippo
;
Sobocinski, Pawel Maria
;
Zanasi, Fabio
Advancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups
2021
/
p. 29–56
https://doi.org/10.1007/978-3-030-81701-5_2
Article collection metrics at Scopus
Article at Scopus
artikkel kogumikus EST
/
artikkel kogumikus ENG
Kirjeid leitud 14, kuvan
1 - 14
võtmesõna
205
1.
category theory
2.
enriched category theory
3.
formal category theory
4.
bicategory theory
5.
aspect category
6.
assessment category
7.
bimonoidal category
8.
braided skew monoidal category
9.
closed category
10.
closed skew monoidal category
11.
cocomplete category
12.
copy-discard category
13.
cyclic category
14.
double category
15.
duplicial category
16.
free monoidal category
17.
Locally graded category
18.
monoidal category
19.
omega-category
20.
orbit category
21.
skew monoidal category
22.
skew-monoidal category
23.
slice 2-category
24.
slice category
25.
symmetric monoidal category
26.
symmetric monoidal closed category
27.
triangulated category
28.
virtual double category
29.
2-category
30.
a coherent theory of proofs
31.
action theory
32.
activity theory
33.
adaptive structuration theory (AST)
34.
algebraic number theory
35.
algebraic theory
36.
algorithm design and theory
37.
beam theory
38.
behavioral reasoning theory
39.
Biot theory
40.
Bond theory
41.
Boolean Algebra Meets Graph-Theory
42.
catastrophe theory
43.
chaos theory
44.
coding theory
45.
cognitive theory
46.
commitment theory
47.
communication channels (information theory)
48.
Complex systems theory
49.
complexity leadership theory
50.
complexity theory
51.
computation theory
52.
computer softwaregraph theory
53.
conservation of resources theory
54.
consumer culture theory
55.
control and systems theory
56.
control theory
57.
Cooper-Helmstetter cell cycle theory
58.
cosmology theory
59.
cosmology: theory
60.
critical theory of technology
61.
cultural theory of international relations
62.
dark matter theory
63.
decision theory
64.
Dempster-Shafer theory
65.
Demster-Shafer Theory
66.
density functional theory
67.
density functional theory (DFT)
68.
dependent type theory
69.
design theory
70.
Dezert–Smarandache theory
71.
development theory
72.
Digital Government Theory: Development and Application
73.
dispersive theory
74.
domain theory
75.
dual-process theory
76.
Dynamic capability theory
77.
dynamic social impact theory (DSIT)
78.
ecological systems theory
79.
economic theory
80.
end of theory
81.
energetic impact theory
82.
engaged theory
83.
Euler Bernoulli beams theory
84.
evolutionary theory of policy capacity
85.
Flow theory
86.
formal language theory
87.
fully nonlinear potential theory
88.
game theory
89.
general systems theory
90.
general theory of information transfer
91.
general vibration theory
92.
graph theory
93.
gravitational waves / theory
94.
grounded theory
95.
group theory
96.
group threat theory
97.
higher-order beam theory
98.
History and Theory
99.
homotopy theory
100.
homotopy type theory
101.
housemoney effect prospect theory
102.
iceberg theory of culture
103.
image theory
104.
information theory
105.
innovation theory
106.
institutional theory
107.
intellectual capital theory
108.
interdependence theory
109.
inverse problem theory/applications
110.
inverse problems theory/applications
111.
job search theory
112.
language theory
113.
Lawvere theory
114.
layer-wise displacement theory
115.
linear systems theory
116.
macro-foundational theory
117.
maritime investment theory
118.
mechanism design theory
119.
meso-foundational theory
120.
micro-foundational theory
121.
middle-range theory
122.
mindlin plate theory
123.
modern portfolio theory
124.
network theory
125.
nonlinear shallow water theory
126.
nonlinear shallow-water theory
127.
nonlinear strip theory
128.
nonlinear theory
129.
normal torsion theory
130.
number theory
131.
organismic integration theory
132.
organization theory
133.
organizational theory
134.
peer‐to‐peer theory
135.
perceived customer value theory
136.
phase field theory
137.
picture theory
138.
protection motivation theory
139.
proto-theory of design
140.
public administration theory
141.
punctuated equilibrium theory
142.
quantum theory
143.
rational choice theory
144.
real options theory
145.
realization theory
146.
reduction theory
147.
refined zigzag theory
148.
regulatory focus theory
149.
sampling theory
150.
scapegoat theory
151.
search and matching theory
152.
self-determination theory
153.
self-determination theory of work motivation
154.
set theory
155.
shallow water theory
156.
shallow‐water theory
157.
sign theory
158.
signalling theory
159.
social exchange theory
160.
social identity theory
161.
social practice theory
162.
social presence theory
163.
social representation theory
164.
social system theory
165.
social systems theory
166.
sociological curriculum theory
167.
S-O-R theory
168.
speech-act theory
169.
stakeholder theory
170.
Stakeholder-oriented decision theory
171.
State Theory
172.
stimulus-organism-response theory
173.
stochastic learning theory
174.
strategic narrative theory
175.
strategic narrative theory
176.
Straussian theory model
177.
structuration theory
178.
Sustainable Business Models Interdependence Theory’s Principle Of Interaction
179.
switching theory
180.
synchronous reference frame theory
181.
system theory
182.
systems theory
183.
the RAT theory
184.
theory
185.
theory and practice of meta-modelling with application in healthcare
186.
theory building
187.
theory of accounting
188.
Theory of computation
189.
Theory Of Constraints (TOC)
190.
theory of economic development
191.
theory of inventive problem solving (TRIZ)
192.
theory of natural disaster
193.
Theory of paradox
194.
theory of planned behavior
195.
theory of planned behaviour
196.
theory of signs
197.
theory of value
198.
theory selection
199.
ticked cubical type theory
200.
time-dependent density functional theory (TD-DFT)
201.
type theory
202.
unified theory of acceptance and use of technology
203.
value theory
204.
virtual disc theory
205.
2D+T theory
×
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