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
Liitotsing
Valitud kirjed
0
Sobocinski, Pawel Maria (juhendaja)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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
4
Vaata veel..
(3/237)
Ekspordi
ekspordi kõik päringu tulemused
(4)
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
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
8
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
Promonads and string diagrams for effectful categories
Collages of string diagrams
The produoidal algebra of process decomposition
2
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
3
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
4
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 4, kuvan
1 - 4
autor
178
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.
Urban, Pawel L.
13.
Urbanski, Pawel
14.
Wargocki, Pawel
15.
Agriesti, Serio Angelo Maria
16.
Ainsaar, Karin Maria
17.
Alajõe, Maria
18.
Alas, Brita-Maria
19.
Alas, Maria
20.
Alonso, Maria Justo
21.
Alsa, Maria
22.
Alvarez, Maria Fernandez
23.
Anastasina, Maria
24.
Andersson, Maria A.
25.
Apellaniz-Ruiz, Maria
26.
Bejarano, Maria Dolores
27.
Benito, María
28.
Bogucka, Maria
29.
Bokova, Maria
30.
Borissova, Maria
31.
Brdulak, Halina Maria
32.
Briones, Maria J. I.
33.
Burko, Maria
34.
Coraglia, Ugo Maria
35.
Correia, Maria
36.
Costa, Maria Joao
37.
Costa, Maria João
38.
Cristea, Amelia-Maria
39.
Cruz Minguillon, Maria
40.
Czarnek, Maria
41.
Daglia, Maria
42.
Davydovskaya, Maria
43.
De Carlini, Maria
44.
De Falco, Maria Chiara
45.
Díaz-Redondo, Maria
46.
Dinis, Maria Alzira Pimenta
47.
Donaire Galiano, María Dolores
48.
Dos Remédios Mendes De Brito, Maria
49.
Drozdova, Maria
50.
Ferreira, Maria Teresa
51.
Ferreiro, Maria de Fátima
52.
Fiazza, Maria-Camilla
53.
Fischerova, Maria
54.
Fisherova, Maria
55.
Fomitšenko, Maria
56.
Freimann, Maria
57.
Gargano, Maria
58.
Glushkova, Maria
59.
Graziani, Maria Stella
60.
Grepp, Mia Maria
61.
Guazzaroni, María-Eugenia
62.
Habicht, Maria
63.
Hagnäs, Maria
64.
Hanif, Maria
65.
Hernandez Ramos, Maria
66.
Hrabarchuk, Maria
67.
Hägglund, Maria
68.
Hytti, Maria
69.
Isidori, Maria Vittoria
70.
Iskül, Anna-Maria
71.
Jakubik, Maria
72.
John, Maria Sindhura
73.
Jones, Ana Maria
74.
Jürimaa, Maria
75.
Kaare, Maria
76.
Kahlert, Maria
77.
Kall, Maria
78.
Karus, Maria
79.
Kast, Maria
80.
Kast-Ondraczek, Maria
81.
Kesa, Maria
82.
Kirsel, Arda-Maria
83.
Kirss, Johanna Maria
84.
Kiss, Eva Maria
85.
Koidu, Maria
86.
Koivisto, Maria
87.
Konnikova, Maria R.
88.
Koskela, Iida-Maria
89.
Kruusemänd, Maria
90.
Kuhtinskaja, Maria
91.
Kulp, Maria
92.
Kupinskaja, Maria
93.
Kütt, Maria
94.
Laan, Made Maria
95.
Lagerström, Maria
96.
Laurson, Maria
97.
Lehtivaara, Maria
98.
Lehtmets, Karin Maria
99.
Leier, Maria
100.
Lepik, Kirke Maria
101.
Liivrand, Maria
102.
Lille, Maria
103.
Lillepruun, Maria
104.
Lindahl, Maria
105.
Linna, Julia-Maria
106.
Loas, Joanna Maria
107.
Loureiro, Sandra Maria Correia
108.
Maggi, Fabrizio Maria
109.
Maier, Maria
110.
Malmierca, María
111.
Manera, Maria Grazia
112.
Marabello, Maria Vittoria
113.
Maria, Pierre-Charles
114.
Merkulova, Maria
115.
Michael, Maria K.
116.
Milanes-Montero, Maria Isabel
117.
Milousi, Maria
118.
Morelli, Maria Flavia
119.
Naulainen, Madli-Maria
120.
Negretti, Maria Eletta
121.
Ondraczek-Kast, Maria
122.
Osendi, María IsabeL
123.
Osula, Anna-Maria
124.
Palts, Maria
125.
Pando Ballestros, Maria de la Paz
126.
Pashkevich, Maria
127.
Paz Pando Ballesteros, Maria de la
128.
Piccirilli, Maria Cristina
129.
Portela, Maria Manuela
130.
Punamäe, Ode Maria
131.
Puusepp, Maria
132.
Rastello, Maria Luisa
133.
Reimal, Maria
134.
Reinik, Maria
135.
Rikko, Bret-Maria
136.
Rohemäe, Maria-Ann
137.
Rüütmann, Anna Maria
138.
Safonova, Maria
139.
Santos, Jose Maria
140.
Sarmiento Guerin, Maria Cecilia
141.
Scicchitano, Maria Rosa
142.
Seidel, Maria
143.
Sepp, Anna-Maria
144.
Simonova, Maria
145.
Sinimaa, Maria
146.
Sintorn, Ida-Maria
147.
Soares Rosario, Maria
148.
Solarte Vasquez, Maria Claudia
149.
Sukhonos, Maria
150.
Sula, Eva-Maria
151.
Suurna, Maria
152.
Zeltser, Maria
153.
Temnikova, Maria
154.
Tilk, Maria
155.
Toumpourleka, Maria
156.
Trei, Hanna-Maria
157.
Troian, Maria
158.
Tropp, Elsa-Maria
159.
Tsareva, Anna Maria
160.
Tšepelevitš, Maria
161.
Tuohy, Maria G.
162.
Tuulik, Maria
163.
Ulfsak, Maria
164.
Uriz, Maria
165.
Uriz, Maria Jesus
166.
Vaher, Eva-Maria
167.
Valkonen, Maria
168.
Vasconcelos, Maria
169.
Vassiljev, Maria
170.
Vdovenko, Maria
171.
Veijalainen Anna-Maria
172.
Vikentjeva, Maria
173.
Wimmer, Maria A.
174.
Vita, Maria
175.
Volokhova, Maria
176.
Vooglaid, Kadi Maria
177.
Vuin, Maria Miranda
178.
Šimanskaja, Maria
CV
36
1.
Sobocinski, Pawel Maria
2.
Sobociński, Paweł Maria 1978
3.
Borissova, Maria (-2014)
4.
Bouvy-Liivrand, Maria 1986
5.
Brökling, Iris Maria 1970
6.
Drozdova, Maria 1988
7.
Fomitšenko, Maria 1989
8.
Kaljusmaa, Liisa-Maria
9.
Kansberg, Maria 1889-1974
10.
Kessler, Diana-Maria
11.
Koidu, Maria 1976
12.
Koost, Maria 1928-2014
13.
Kozlova, Maria
14.
Kuhtinskaja, Maria 1977
15.
Kulp, Maria 1978
16.
Kütt, Maria 1978
17.
Liivrand, Maria
18.
Mutli, Maria 1899-1984
19.
Osula, Anna-Maria
20.
Osula, Anna-Maria 1984
21.
Puusepp, Maria 1934
22.
Sarmiento Guerin, Maria Cecilia 1969
23.
Sarmiento, Maria Cecilia
24.
Sokolova, Maria
25.
Solarte Vasquez, Maria Claudia
26.
Solarte Vásquez, Maria Claudia 1969
27.
Solarte, Maria Claudia
28.
Solarte-Vasquez, Maria Claudia
29.
Stepanova, Maria
30.
Tsibanova, Maria 1963
31.
Tšepelevitš, Maria
32.
Vasquez, Maria Claudia Solarte
33.
Vassiljev, Maria
34.
Vint, Tiina-Maria 1960
35.
Vooglaid, Kadi Maria 1987
36.
Vuin, Maria Miranda 1997
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