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
Sobocinski, Pawel Maria (juhendaja)
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
5
Vaata veel..
(3/257)
Ekspordi
ekspordi kõik päringu tulemused
(5)
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
1
dissertatsioon
Languages of string diagrams = Nöördiagrammide keeled
Earnshaw, Matthew David
2025
https://www.ester.ee/record=b5728253*est
https://doi.org/10.23658/taltech.2/2025
https://digikogu.taltech.ee/et/Item/30c6f3d0-9655-483d-bd8d-46a5a68bcede
dissertatsioon
2
dissertatsioon
Monoidal context theory = Monoidiliste kontekstide teooria
Roman Garcia, Mario
2023
https://doi.org/10.23658/taltech.54/2023
https://digikogu.taltech.ee/et/Item/034fb7d2-c41f-4d12-81a9-4dd792504995
https://www.ester.ee/record=b5645423*est
dissertatsioon
Seotud publikatsioonid
9
Open diagrams via Coend calculus
A canonical algebra of open transition systems
Monoidal streams for dataflow programming
Span(Graph) : a canonical feedback algebra of open transition systems
Profunctor optics : a categorical update
Collages of string diagrams
The produoidal algebra of process decomposition
Promonads and string diagrams for effectful categories
Collages of string diagrams
3
dissertatsioon
Monoidal width = Monoidiline laius
Di Lavore, Elena
2023
https://doi.org/10.23658/taltech.55/2023
https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502
https://www.ester.ee/record=b5645383*est
dissertatsioon
Seotud publikatsioonid
3
Compositional modelling of network games
Monoidal width
Monoidal width : capturing rank width
4
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
A foundation for ledger structures
Functorial semantics for partial theories
A variety theorem for relational universal algebra
The structure of concurrent process histories
Situated transition systems
Concurrent process histories and resource transducers
Cornering optics : preprint
Protocol choice and iteration for the free cornering
5
dissertatsioon
Peirce’s existential graphs and the logic of string diagrams = Peirce’i eksistentsiaalsed graafid ja nööridiagrammide loogika
Haydon, Nathan Joseph
2024
https://www.ester.ee/record=b5685581*est
https://digikogu.taltech.ee/et/Item/f7f55e15-7a58-4e7f-a112-910d6a943f7f
https://doi.org/10.23658/taltech.31/2024
dissertatsioon
Seotud publikatsioonid
4
The Blot
Compositional diagrammatic first-order logic
Residuation in existential graphs
Diagrammatic algebra of first order logic
Kirjeid leitud 5, kuvan
1 - 5
autor
199
1.
Sobocinski, Pawel Maria
2.
Debski, Pawel R.
3.
Gargulinski, Pawel
4.
Gnida, Pawel
5.
Jankowski, Pawel
6.
Kosakowski, Pawel
7.
Kosinski, Pawel
8.
Kowalczyk, Pawel
9.
Mroczek, Przemyslaw Paweł
10.
Prus, Pawel
11.
Zielinski, Pawel
12.
Zieliński, Paweł
13.
Urban, Pawel L.
14.
Urbanski, Pawel
15.
Wargocki, Pawel
16.
Abad-Cardiel, María
17.
Agriesti, Serio Angelo Maria
18.
Ainsaar, Karin Maria
19.
Alajõe, Maria
20.
Alas, Brita-Maria
21.
Alas, Maria
22.
Alonso, Maria Justo
23.
Alsa, Maria
24.
Alvarez, Maria Fernandez
25.
Anastasina, Maria
26.
Andersson, Maria A.
27.
Apellaniz-Ruiz, Maria
28.
Bahit, Maria Cecilia
29.
Bejarano, Maria Dolores
30.
Benito, María
31.
Bogucka, Maria
32.
Bokova, Maria
33.
Borissova, Maria
34.
Brdulak, Halina Maria
35.
Briones, Maria J. I.
36.
Burko, Maria
37.
Calvelo, Natalia De María
38.
Cieslak, Maria
39.
Coraglia, Ugo Maria
40.
Correia, Maria
41.
Corriga, Maria G.
42.
Costa, Maria Joao
43.
Costa, Maria João
44.
Cristea, Amelia-Maria
45.
Cruz Minguillon, Maria
46.
Czarnek, Maria
47.
Daglia, Maria
48.
Danukalova, Maria K.
49.
Davydovskaya, Maria
50.
De Carlini, Maria
51.
De Falco, Maria Chiara
52.
Díaz-Redondo, Maria
53.
Dinis, Maria Alzira Pimenta
54.
Donaire Galiano, María Dolores
55.
Dorobanţu, Maria I.
56.
Dos Remédios Mendes De Brito, Maria
57.
Drozdova, Maria
58.
Ferreira, Maria Teresa
59.
Ferreiro, Maria de Fátima
60.
Fiazza, Maria-Camilla
61.
Fischerova, Maria
62.
Fisherova, Maria
63.
Fomitšenko, Maria
64.
Freimann, Maria
65.
Garcia Juanatey, Maria
66.
Gargano, Maria
67.
Glushkova, Maria
68.
Graziani, Maria Stella
69.
Grepp, Mia Maria
70.
Guazzaroni, María-Eugenia
71.
Habicht, Maria
72.
Hagnäs, Maria
73.
Hanif, Maria
74.
Hernandez Ramos, Maria
75.
Hrabarchuk, Maria
76.
Hägglund, Maria
77.
Hytti, Maria
78.
Isidori, Maria Vittoria
79.
Iskül, Anna-Maria
80.
Jakubik, Maria
81.
John, Maria Sindhura
82.
Jones, Ana Maria
83.
Jufereva-Skuratovski, Maria
84.
Jussila, Maria
85.
Jürimaa, Maria
86.
Kaare, Maria
87.
Kahlert, Maria
88.
Kaljusmaa, Liisa-Maria
89.
Kall, Maria
90.
Karus, Maria
91.
Kast, Maria
92.
Kast-Ondraczek, Maria
93.
Kesa, Maria
94.
Kirsel, Arda-Maria
95.
Kirss, Johanna Maria
96.
Kiss, Eva Maria
97.
Koidu, Maria
98.
Koivisto, Maria
99.
Konnikova, Maria R.
100.
Koskela, Iida-Maria
101.
Kruusemänd, Maria
102.
Kuhtinskaja, Maria
103.
Kulp, Maria
104.
Kupinskaja, Maria
105.
Kütt, Maria
106.
Laan, Made Maria
107.
Lagerström, Maria
108.
Laurson, Maria
109.
Lehtivaara, Maria
110.
Lehtmets, Karin Maria
111.
Leier, Maria
112.
Lepik, Kirke Maria
113.
Liivrand, Maria
114.
Lille, Maria
115.
Lillepruun, Maria
116.
Lindahl, Maria
117.
Linna, Julia-Maria
118.
Loas, Joanna Maria
119.
Loureiro, Sandra Maria Correia
120.
Maggi, Fabrizio Maria
121.
Maier, Maria
122.
Malmierca, María
123.
Manera, Maria Grazia
124.
Marabello, Maria Vittoria
125.
Maria, Pierre-Charles
126.
Merkulova, Maria
127.
Michael, Maria K.
128.
Milanes-Montero, Maria Isabel
129.
Milanés-Montero, María Isabel
130.
Milousi, Maria
131.
Morelli, Maria Flavia
132.
Naulainen, Madli-Maria
133.
Negretti, Maria Eletta
134.
Ondraczek-Kast, Maria
135.
Osendi, María IsabeL
136.
Osula, Anna-Maria
137.
Palts, Maria
138.
Pando Ballestros, Maria de la Paz
139.
Pasch, Ricarda Anna Maria
140.
Pashkevich, Maria
141.
Paz Pando Ballesteros, Maria de la
142.
Piccirilli, Maria Cristina
143.
Polese, Maria
144.
Portela, Maria Manuela
145.
Punamäe, Ode Maria
146.
Puusepp, Maria
147.
Rastello, Maria Luisa
148.
Reimal, Maria
149.
Reinaas, Maria
150.
Reinik, Maria
151.
Rikko, Bret-Maria
152.
Rohemäe, Maria-Ann
153.
Rüütmann, Anna Maria
154.
Safonova, Maria
155.
Santos, Jose Maria
156.
Sarmiento Guerin, Maria Cecilia
157.
Schmalz, Maria
158.
Scicchitano, Maria Rosa
159.
Seidel, Maria
160.
Sepp, Anna-Maria
161.
Siilak, Johanna-Maria
162.
Simonova, Maria
163.
Sinimaa, Maria
164.
Sintorn, Ida-Maria
165.
Soares Rosario, Maria
166.
Sokolova, Maria
167.
Solarte Vasquez, Maria Claudia
168.
Sukhonos, Maria
169.
Sula, Eva-Maria
170.
Suurna, Maria
171.
Zeltser, Maria
172.
Temnikova, Maria
173.
Tilk, Maria
174.
Toumpourleka, Maria
175.
Trei, Hanna-Maria
176.
Troian, Maria
177.
Tropp, Elsa-Maria
178.
Tsareva, Anna Maria
179.
Tšepelevitš, Maria
180.
Tuohy, Maria G.
181.
Tuulik, Maria
182.
Ulfsak, Maria
183.
Uriz, Maria
184.
Uriz, Maria Jesus
185.
Vaher, Eva-Maria
186.
Valkonen, Maria
187.
Valsecchi, Maria Grazia
188.
Vasconcelos, Maria
189.
Vassiljev, Maria
190.
Vdovenko, Maria
191.
Veijalainen Anna-Maria
192.
Vikentjeva, Maria
193.
Wimmer, Maria A.
194.
Vita, Maria
195.
Volokhova, Maria
196.
Vooglaid, Kadi Maria
197.
Vuin, Maria Miranda
198.
Świderek, Maria
199.
Šimanskaja, Maria
CV
35
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria
3.
Borissova, Maria (-2014)
4.
Bouvy-Liivrand, Maria
5.
Brökling, Iris Maria
6.
Drozdova, Maria
7.
Fomitšenko, Maria
8.
Kaljusmaa, Liisa-Maria
9.
Kansberg, Maria 1889-1974
10.
Kessler, Diana-Maria
11.
Koidu, Maria
12.
Koost, Maria 1928-2014
13.
Kozlova, Maria
14.
Kuhtinskaja, Maria
15.
Kulp, Maria
16.
Kütt, Maria
17.
Liivrand, Maria
18.
Mutli, Maria 1899-1984
19.
Osula, Anna-Maria
20.
Puusepp, Maria
21.
Sarmiento Guerin, Maria Cecilia
22.
Sarmiento, Maria Cecilia
23.
Sokolova, Maria
24.
Solarte Vasquez, Maria Claudia
25.
Solarte Vásquez, Maria Claudia
26.
Solarte, Maria Claudia
27.
Solarte-Vasquez, Maria Claudia
28.
Stepanova, Maria
29.
Tsibanova, Maria
30.
Tšepelevitš, Maria
31.
Vasquez, Maria Claudia Solarte
32.
Vassiljev, Maria
33.
Vint, Tiina-Maria
34.
Vooglaid, Kadi Maria
35.
Vuin, Maria Miranda
tema kohta
23
1.
Sobocinski, Pawel
2.
Alajõe, Maria, 1969-
3.
Britikovski, Maria
4.
Drozdova, Maria
5.
Fomitšenko, Maria
6.
Jõgisu, Johanna Maria
7.
Keres, Maria Konstantsia, 1917-2014
8.
Koidu, Maria
9.
Kuhtinskaja, Maria
10.
Kulp, Maria
11.
Loas, Joanna Maria
12.
Orel, Anna Maria
13.
Osula, Anna-Maria
14.
Rahamägi, Maria
15.
Rebane, Anett-Maria
16.
Safonova, Maria
17.
Sarmiento Guerin, Maria Cecilia
18.
Solarte Vasquez, Maria Claudia, 1969-
19.
Solarte-Vasques, Maria Claudia
20.
Toomsalu, Maria
21.
Veitmaa, Eva Maria
22.
Volokhova, Maria
23.
Väli, Maria
×
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