Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Searching

logic in computer science (keyword)

—

—

—

—

Add criteria Advanced search filter

Clear

types of item

book ..

journal article ..

newspaper article ..

book article ..

dissertation ..

Open Access ..

Scientific publications ..

year

year of publication

Loading..

Loading..

TalTech department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

Number of records 4
Look more.. (4/248)
Export

export all inquiry results (4)
Save TXT fail

print
Open for editing with marked entries my bookmarks

display

sort
1

journal article

Coinductive streams in monoidal categoriesDi Lavore, Elena; De Felice, Giovanni; Roman Garcia, MarioLogical methods in computer science2025 / p. 18:1–18:52 : ill https://doi.org//10.46298/LMCS-21(3:18)2025

journal article
2

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 1
- Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
3

journal article

A framework for modelling, verification and transformation of concurrent imperative programsBortin, MaksymarXiv.org2020 / 57 p https://arxiv.org/abs/2007.02261 https://doi.org/10.48550/arXiv.2007.02261

journal article
4

journal article EST / journal article 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

journal article EST / journal article ENG
Related publications 1
- Monoidal width = Monoidiline laius

Number of records 4, displaying 1 - 4

1. logic in computer science
2. logic of science
3. computer science
4. computer science basics
5. computer science education
6. logic and philosophy of logic
7. algebra of logic
8. binary logic controller
9. Boolean logic
10. Compound logic locking
11. Compound logic locking (CLL)
12. constraint logic programming
13. constraint logic programming (LP) (CLP)
14. constructive logic
15. default logic
16. diagrammatic logic
17. digital logic
18. dynamic logic
19. epistemic logic
20. ethics and logic
21. formal logic
22. fuzzy logic
23. fuzzy logic
24. fuzzy logic control
25. fuzzy logic controller
26. fuzzy logic controller (FLC)
27. fuzzy logic model
28. graphical method of logic
29. history of logic
30. Hoare logic
31. Husserl and Pierce on logic of probability
32. independence-friendly logic
33. Inductive logic programming
34. intuitionistic logic
35. linear logic
36. linear logic of Petri nets
37. logic
38. logic built-in self-test
39. logic cell library
40. logic circuit
41. logic design
42. logic diagram
43. logic diagrams
44. logic education
45. logic for pragmatics
46. logic gates
47. logic in AI
48. logic in society
49. logic level
50. logic level and high level BDDs
51. logic locking
52. logic machine
53. logic models
54. logic models and simulation
55. logic notation
56. logic obfuscation
57. logic of bunched implications
58. logic of relatives
59. logic of speech acts
60. logic simulation
61. logic synthesis
62. logic teaching
63. logic-based distributed routing
64. malicious logic
65. mathematical logic
66. modal logic
67. Natural logic
68. Peirce's existential graphs and transcendental logic
69. philosophical logic
70. philosophy of logic
71. pragmatic logic
72. probabilistic relational program logic
73. programmable logic
74. programmable logic controller (PLC)
75. quantitative logic
76. quantum logic
77. race logic
78. reconfigurable logic
79. routing logic
80. S4 modal logic
81. S-D logic
82. Semi-substructural logic
83. Service-Dominant logic
84. stateful logic computation
85. substructural logic
86. symbolic knowledge in Husserlian pure logic
87. symbolic logic
88. temporal logic
89. computer
90. computer aided design
91. computer aided diagnosis
92. computer aided diagnostics
93. computer aided instruction
94. computer aided language translation
95. computer aided manufacturing
96. computer aided methods
97. computer aided software engineering
98. computer aided testing
99. computer algebra
100. computer algebra system
101. computer and education
102. computer anxiety
103. computer architecture
104. computer assisted language learning
105. computer based learning
106. computer circuits
107. computer control
108. Computer crime
109. computer education
110. computer engineering
111. computer engineerng
112. computer game
113. computer graphics
114. computer hardware
115. computer integrated manufacturing
116. computer network management
117. computer network operations
118. computer networks
119. computer pipelines
120. computer programming
121. computer programming languages
122. computer programs
123. computer security
124. computer simulation
125. computer simulation environments
126. computer simulations
127. computer software
128. Computer software and hardware
129. computer softwaregraph theory
130. computer systems
131. Computer systems organization
132. computer systems programming
133. computer terminals
134. computer vision
135. computer vision-based methods
136. computer workers
137. computer-aided anthropometry
138. computer-aided architectural design (CAAD)
139. computer‐aided assessment
140. computer-aided design
141. computer-aided design (CAD)
142. computer-aided detection
143. computer‐aided detection
144. computer-aided diagnosis
145. computer-aided drawing (CAD)
146. computer-aided engineering
147. computer-aided teaching
148. Computer-Aided Tuning
149. computer-aided tuning (CAT)
150. computer-assisted language learning (CALL)
151. computer-oriented technologies
152. computer-supported decision-making
153. computer-use
154. computer-workers
155. control engineering computer applications
156. distributed computer systems
157. education in computer engineering
158. fault tolerant computer systems
159. fifth generation computer
160. gateways (computer networks)
161. high-performance computer systems
162. human computer interaction
163. human computer interaction (HCI)
164. human-computer interaction
165. human–computer interaction
166. Human-Computer Interaction (HCI)
167. human-computer interface
168. human-computer trust
169. interactive computer graphics
170. laptop computer
171. single board computer
172. single-board computer
173. structure computer analysis
174. ubiquitous computer technology
175. Web and computer-based learning
176. applied science
177. big data science
178. chemistry and philosophy of science
179. citizen science
180. citizen science hub
181. classical exact science
182. cognitive science
183. computational social science
184. data science
185. data-science
186. decision science
187. design science
188. design science research
189. design-science
190. energy science and technology
191. engineering pedagogy science
192. environmental science
193. ethics of science
194. exact science
195. food science
196. forensic science
197. materials science
198. NATO. Science for Peace and Security Program
199. non-classical exact science
200. philosophy of science
201. physics and philosophy of science
202. planetary science
203. political science
204. popular science literature
205. post normal science
206. post-normal science
207. Q science
208. science
209. science advisors
210. science and arts
211. science and technology libraries
212. science and technology parks
213. Science Education
214. science fiction
215. science gateway
216. science integration
217. science mapping
218. science policy
219. science technology and innovation
220. science technology innovation
221. Science, Technology and Innovation Policy
222. science-based industries
223. science-driven models
224. science-policy-society interface
225. Security and political science
226. security science and technology
227. Social Science
228. social science methodology
229. sustainability science
230. Thomson Reuters Web of Science
231. transdisciplinary science
232. values in science
233. Web of Science
234. wood science and technology
235. World Academy of Art and Science (WAAS)
236. ȹ-science
237. φ-science
238. ϕ-science

1. Estonian Summer School on Computer and Systems Science, 2023
2. Baltic Computer Systems
3. National Computer Security Incident Response Teams (N-CSIRTs)
4. Norwegian University of Science and Technology
5. The European Federation of Food Science and Technology (EFFoST)
6. Web of Science

1. Department of Computer Systems
2. Department of Software Science
3. School of Science

1. Department of Software Science, Tallinn University of Technology

match

sort

Otsing
Valikud 0

year of publication

author

TalTech department

subject term

series

name of the person

keyword

TalTech Library

Akadeemia tee 1

13519

TalTech homepage TalTech Library homepage Digital Collection of TalTech Library Digiteek Repository

6203551

data@taltech.ee

TalTech Raamatukogu