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