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