Searching - TalTech Research Portal

Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles

Research Groups

Help and information

Advanced search

logic in computer science (keyword)

—

—

Add criteria Simple 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/242)
Export

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