Otsing - TalTech teadusportaal

Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English

Publikatsioonid

Publikatsioonid

Otsing

Valitud kirjed 0

category theory (võtmesõna)

—

—

—

—

Lisa tingimus Liitotsing filter

Tühista

teaviku laadid

raamat ..

artikkel ajakirjas ..

artikkel ajalehes ..

artikkel kogumikus ..

dissertatsioon ..

Open Access ..

Teaduspublikatsioon ..

aasta

Toon andmeid..

Toon andmeid..

TTÜ struktuuriüksus

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Toon andmeid..

Tühista

Kirjeid leitud 11
Vaata veel.. (1/166)
Ekspordi

ekspordi kõik päringu tulemused (11)
Salvesta TXT fail

Salvesta PDF fail

prindi
Märgitud kirjetega toimetamiseks ava valitud kirjed

kuva

reasta
1

artikkel kogumikus EST / artikkel kogumikus ENG

Compositional modelling of network gamesDi Lavore, Elena; Hedges, Jules; Sobocinski, Pawel Maria29th 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
2

artikkel ajakirjas EST / artikkel ajakirjas ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / 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
3

artikkel kogumikus

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / 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
4

artikkel kogumikus EST / artikkel kogumikus ENG

Higher-dimensional subdiagram matchingHadzihasanovic, Amar; Kessler, Diana2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 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
5

artikkel kogumikus EST / artikkel kogumikus ENG

Monoidal streams for dataflow programmingDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, Mario37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022, Haifa, 2 August 2022 - 5 August 20222022 / 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
6

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / 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
7

artikkel ajakirjas

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

artikkel ajakirjas
Seotud publikatsioonid 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
8

artikkel kogumikus EST / artikkel kogumikus ENG

Slice nondeterminismVoorneveld, Niels4th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July - 4 August 20232023 / 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
9

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / 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
10

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / 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
11

artikkel kogumikus EST / artikkel kogumikus ENG

A survey of Compositional signal flow theoryBonchi, Filippo; Sobocinski, Pawel Maria; Zanasi, FabioAdvancing Research in Information and Communication Technology : IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups2021 / 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 11, kuvan 1 - 11

1. category theory
2. enriched category theory
3. formal category theory
4. bicategory theory
5. assessment category
6. bimonoidal category
7. closed category
8. cocomplete category
9. free monoidal category
10. Locally graded category
11. monoidal category
12. omega-category
13. skew-monoidal category
14. slice category
15. symmetric monoidal category
16. triangulated category
17. 2-category
18. a coherent theory of proofs
19. activity theory
20. adaptive structuration theory (AST)
21. algebraic number theory
22. algebraic theory
23. algorithm design and theory
24. beam theory
25. catastrophe theory
26. chaos theory
27. coding theory
28. cognitive theory
29. commitment theory
30. communication channels (information theory)
31. complexity leadership theory
32. complexity theory
33. computation theory
34. computer softwaregraph theory
35. conservation of resources theory
36. Consumer Culture Theory
37. control theory
38. Cooper-Helmstetter cell cycle theory
39. cosmology: theory
40. critical theory of technology
41. cultural theory of international relations
42. dark matter theory
43. decision theory
44. Dempster-Shafer theory
45. Demster-Shafer Theory
46. density functional theory
47. density functional theory (DFT)
48. dependent type theory
49. design theory
50. development theory
51. Digital Government Theory: Development and Application
52. dispersive theory
53. domain theory
54. ecological systems theory
55. economic theory
56. end of theory
57. energetic impact theory
58. evolutionary theory of policy capacity
59. Flow theory
60. formal language theory
61. fully nonlinear potential theory
62. game theory
63. general systems theory
64. general theory of information transfer
65. general vibration theory
66. graph theory
67. gravitational waves / theory
68. grounded theory
69. group theory
70. group threat theory
71. higher-order beam theory
72. History and Theory
73. homotopy theory
74. homotopy type theory
75. housemoney effect prospect theory
76. iceberg theory of culture
77. image theory
78. information theory
79. innovation theory
80. institutional theory
81. intellectual capital theory
82. interdependence theory
83. inverse problem theory/applications
84. inverse problems theory/applications
85. job search theory
86. Lawvere theory
87. layer-wise displacement theory
88. linear systems theory
89. maritime investment theory
90. mechanism design theory
91. middle-range theory
92. modern portfolio theory
93. network theory
94. nonlinear shallow water theory
95. nonlinear shallow-water theory
96. nonlinear strip theory
97. nonlinear theory
98. normal torsion theory
99. number theory
100. organization theory
101. organizational theory
102. peer‐to‐peer theory
103. perceived customer value theory
104. phase field theory
105. picture theory
106. protection motivation theory
107. proto-theory of design
108. punctuated equilibrium theory
109. rational choice theory
110. real options theory
111. realization theory
112. reduction theory
113. refined zigzag theory
114. regulatory focus theory
115. sampling theory
116. scapegoat theory
117. search and matching theory
118. self-determination theory
119. self-determination theory of work motivation
120. set theory
121. shallow water theory
122. shallow‐water theory
123. sign theory
124. signalling theory
125. social identity theory
126. social practice theory
127. social presence theory
128. social representation theory
129. social system theory
130. social systems theory
131. sociological curriculum theory
132. speech-act theory
133. stakeholder theory
134. Stakeholder-oriented decision theory
135. State Theory
136. stimulus-organism-response theory
137. stochastic learning theory
138. strategic narrative theory
139. strategic narrative theory
140. Straussian theory model
141. structuration theory
142. switching theory
143. synchronous reference frame theory
144. system theory
145. systems theory
146. the RAT theory
147. theory
148. theory and practice of meta-modelling with application in healthcare
149. theory of accounting
150. Theory of computation
151. Theory Of Constraints (TOC)
152. theory of economic development
153. theory of inventive problem solving (TRIZ)
154. theory of natural disaster
155. Theory of paradox
156. theory of planned behavior
157. theory of planned behaviour
158. theory of signs
159. theory of value
160. ticked cubical type theory
161. time-dependent density functional theory (TD-DFT)
162. type theory
163. unified theory of acceptance and use of technology
164. value theory
165. virtual disc theory
166. 2D+T theory

vaste

reasta

Otsing
Valikud 0

ilmumisaasta

autor

TTÜ struktuuriüksus

märksõna

seeria-sari

tema kohta

võtmesõna

TalTech Raamatukogu

Akadeemia tee 1

13519

TalTech koduleht TalTech Raamatukogu koduleht Digikogu Digiteek Teadusandmed

6203551

data@taltech.ee

TalTech Raamatukogu