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 publication ..

year

year of publication

Loading..

Loading..

TTÜ department

Loading..

Loading..

Loading..

name of the person

Loading..

Loading..

Clear

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

match

sort

Otsing
Valikud 0

year of publication

author

TTÜ 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