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/247)
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. fifth generation computer
159. gateways (computer networks)
160. high-performance computer systems
161. human computer interaction
162. human computer interaction (HCI)
163. human-computer interaction
164. human–computer interaction
165. Human-Computer Interaction (HCI)
166. human-computer interface
167. human-computer trust
168. interactive computer graphics
169. laptop computer
170. single board computer
171. single-board computer
172. structure computer analysis
173. ubiquitous computer technology
174. Web and computer-based learning
175. applied science
176. big data science
177. chemistry and philosophy of science
178. citizen science
179. citizen science hub
180. classical exact science
181. cognitive science
182. computational social science
183. data science
184. data-science
185. decision science
186. design science
187. design science research
188. design-science
189. energy science and technology
190. engineering pedagogy science
191. environmental science
192. ethics of science
193. exact science
194. food science
195. forensic science
196. materials science
197. NATO. Science for Peace and Security Program
198. non-classical exact science
199. philosophy of science
200. physics and philosophy of science
201. planetary science
202. political science
203. popular science literature
204. post normal science
205. post-normal science
206. Q science
207. science
208. science advisors
209. science and arts
210. science and technology libraries
211. science and technology parks
212. Science Education
213. science fiction
214. science gateway
215. science integration
216. science mapping
217. science policy
218. science technology and innovation
219. science technology innovation
220. Science, Technology and Innovation Policy
221. science-based industries
222. science-driven models
223. science-policy-society interface
224. Security and political science
225. security science and technology
226. Social Science
227. social science methodology
228. sustainability science
229. Thomson Reuters Web of Science
230. transdisciplinary science
231. values in science
232. Web of Science
233. wood science and technology
234. World Academy of Art and Science (WAAS)
235. ȹ-science
236. φ-science
237. ϕ-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