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