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