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