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