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