Toggle navigation
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
Switch to English
Intranet
Publikatsioonid
Profiilid
Uurimisrühmad
Registrid
Abi ja info
English
Intranet
Andmebaasid
Publikatsioonid
Otsing
Valitud kirjed
0
logic in computer science (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
algab
sisaldab
täpne vaste
—
Lisa tingimus
Liitotsing
filter
Tühista
×
teaviku laadid
raamat
..
artikkel ajakirjas
..
artikkel ajalehes
..
artikkel kogumikus
..
dissertatsioon
..
Open Access
..
Teaduspublikatsioon
..
aasta
ilmumisaasta
Toon andmeid..
autor
Toon andmeid..
TTÜ struktuuriüksus
Toon andmeid..
märksõna
Toon andmeid..
seeria-sari
Toon andmeid..
tema kohta
Toon andmeid..
võtmesõna
Toon andmeid..
Tühista
Kirjeid leitud
3
Vaata veel..
(3/205)
Ekspordi
ekspordi kõik päringu tulemused
(3)
Salvesta TXT fail
Salvesta PDF fail
prindi
Märgitud kirjetega toimetamiseks ava
valitud kirjed
kuva
Bibliokirje
Lühikirje
reasta
autor kasvavalt
autor kahanevalt
ilmumisaasta kasvavalt
ilmumisaasta kahanevalt
pealkiri kasvavalt
pealkiri kahanevalt
1
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Concurrent process histories and resource transducers
Nester, Chad Mitchell
Logical methods in computer science
2023
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad
2
artikkel ajakirjas
A framework for modelling, verification and transformation of concurrent imperative programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
artikkel ajakirjas
3
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Monoidal width
Di Lavore, Elena
;
Sobocinski, Pawel Maria
Logical methods in computer science
2023
/
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
artikkel ajakirjas EST
/
artikkel ajakirjas ENG
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
198
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.
formal logic
15.
fuzzy logic
16.
fuzzy logic
17.
fuzzy logic control
18.
fuzzy logic controller
19.
fuzzy logic controller (FLC)
20.
fuzzy logic model
21.
graphical method of logic
22.
history of logic
23.
Hoare logic
24.
Husserl and Pierce on logic of probability
25.
independence-friendly logic
26.
intuitionistic logic
27.
linear logic
28.
logic
29.
logic built-in self-test
30.
logic cell library
31.
logic circuit
32.
logic design
33.
logic diagram
34.
logic diagrams
35.
logic education
36.
logic for pragmatics
37.
logic gates
38.
logic in society
39.
logic level
40.
logic level and high level BDDs
41.
logic locking
42.
logic models
43.
logic models and simulation
44.
logic notation
45.
logic obfuscation
46.
logic of bunched implications
47.
logic of relatives
48.
logic of speech acts
49.
logic simulation
50.
logic synthesis
51.
logic teaching
52.
logic-based distributed routing
53.
malicious logic
54.
mathematical logic
55.
modal logic
56.
Natural logic
57.
Peirce's existential graphs and transcendental logic
58.
philosophical logic
59.
philosophy of logic
60.
pragmatic logic
61.
probabilistic relational program logic
62.
programmable logic
63.
quantitative logic
64.
quantum logic
65.
race logic
66.
reconfigurable logic
67.
routing logic
68.
S4 modal logic
69.
S-D logic
70.
Service-Dominant logic
71.
stateful logic computation
72.
symbolic knowledge in Husserlian pure logic
73.
symbolic logic
74.
temporal logic
75.
computer
76.
computer aided design
77.
computer aided diagnosis
78.
computer aided diagnostics
79.
computer aided instruction
80.
computer aided manufacturing
81.
computer aided testing
82.
computer algebra
83.
computer algebra system
84.
computer and education
85.
computer anxiety
86.
computer architecture
87.
computer assisted language learning
88.
computer based learning
89.
computer circuits
90.
computer control
91.
computer education
92.
computer engineering
93.
computer engineerng
94.
computer game
95.
computer graphics
96.
computer hardware
97.
computer integrated manufacturing
98.
computer network management
99.
computer network operations
100.
computer networks
101.
computer pipelines
102.
computer programming
103.
computer programs
104.
computer security
105.
computer simulation
106.
computer simulation environments
107.
computer simulations
108.
computer software
109.
computer softwaregraph theory
110.
computer systems
111.
computer terminals
112.
computer vision
113.
computer workers
114.
computer-aided anthropometry
115.
computer-aided architectural design (CAAD)
116.
computer‐aided assessment
117.
computer-aided design
118.
computer-aided detection
119.
computer‐aided detection
120.
computer-aided diagnosis
121.
computer-aided drawing (CAD)
122.
computer-aided engineering
123.
computer-aided teaching
124.
Computer-Aided Tuning
125.
computer-aided tuning (CAT)
126.
computer-assisted language learning (CALL)
127.
computer-oriented technologies
128.
computer-supported decision-making
129.
computer-use
130.
control engineering computer applications
131.
distributed computer systems
132.
education in computer engineering
133.
fifth generation computer
134.
gateways (computer networks)
135.
high-performance computer systems
136.
human computer interaction
137.
human computer interaction (HCI)
138.
human-computer interaction
139.
Human-Computer Interaction (HCI)
140.
human-computer trust
141.
interactive computer graphics
142.
laptop computer
143.
single board computer
144.
single-board computer
145.
structure computer analysis
146.
ubiquitous computer technology
147.
Web and computer-based learning
148.
applied science
149.
chemistry and philosophy of science
150.
citizen science
151.
citizen science hub
152.
classical exact science
153.
computational social science
154.
data science
155.
data-science
156.
design science
157.
design science research
158.
design-science
159.
energy science and technology
160.
engineering pedagogy science
161.
environmental science
162.
ethics of science
163.
exact science
164.
food science
165.
materials science
166.
NATO. Science for Peace and Security Program
167.
non-classical exact science
168.
philosophy of science
169.
physics and philosophy of science
170.
planetary science
171.
political science
172.
popular science literature
173.
post normal science
174.
post-normal science
175.
Q science
176.
science
177.
science advisors
178.
science and arts
179.
science and technology libraries
180.
science and technology parks
181.
science fiction
182.
science gateway
183.
science integration
184.
science mapping
185.
science policy
186.
science technology innovation
187.
Science, Technology and Innovation Policy
188.
science-based industries
189.
science-policy-society interface
190.
Social Science
191.
social science methodology
192.
sustainability science
193.
transdisciplinary science
194.
Web of Science
195.
World Academy of Art and Science (WAAS)
196.
ȹ-science
197.
φ-science
198.
ϕ-science
märksõna
6
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
autor
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
algab
lõpeb
sisaldab
reasta
Relevantsuse alusel
kasvavalt
kahanevalt
ilmumisaasta
autor
TTÜ struktuuriüksus
märksõna
seeria-sari
tema kohta
võtmesõna
Otsing
Valikud
0
ilmumisaasta
AND
OR
NOT
autor
AND
OR
NOT
TTÜ struktuuriüksus
AND
OR
NOT
märksõna
AND
OR
NOT
seeria-sari
AND
OR
NOT
tema kohta
AND
OR
NOT
võtmesõna
AND
OR
NOT