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