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