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 3
Look more.. (4/237)
Export

export all inquiry results (3)
Save TXT fail

Save PDF fail

print
Open for editing with marked entries my bookmarks

display

sort
1

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
2

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
3

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 3, displaying 1 - 3

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