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
Liitotsing
Valitud kirjed
0
logic in computer science (võtmesõna)
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Kõikidelt väljadelt
Allika otsing
Autori otsing
Märksõna otsing
Pealkirja otsing
allikas
autor
DOI
ilmumisaasta
ilmumiskoht
juhendaja
kategooria
kirjastus/väljaandja
klassifikaator
konverentsi toimumispaik
kvartiil
leidumus
märksõna
pealkiri
seeria-sari
tema kohta
TTÜ märksõna
TTÜ struktuuriüksus
url
võtmesõna
Kõikidelt väljadelt
autor
ekspert
intervjueerija
juhendaja
kaaspanustaja
kollektiivautor
kommenteerija
koostaja
toimetaja
tõlkija
pealkiri
pealkirja tõlge
seeria variantpealkiri
variantpealkiri
ajakirja erinumber
allikas
ajamärksõna
asutuse kohta
kohamärksõna
märksõna
vormimärksõna
seeria variantpealkiri
seeria-sari
leidumus
Open Access
kategooria (alam)
kategooria (üld)
algab
sisaldab
täpne vaste
—
Lisa tingimus
Lihtotsing
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/200)
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
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
artikkel ajakirjas
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
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
artikkel ajakirjas
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
Kirjeid leitud 3, kuvan
1 - 3
võtmesõna
193
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.
programmable logic
62.
quantitative logic
63.
quantum logic
64.
race logic
65.
reconfigurable logic
66.
routing logic
67.
S4 modal logic
68.
S-D logic
69.
Service-Dominant logic
70.
stateful logic computation
71.
symbolic knowledge in Husserlian pure logic
72.
symbolic logic
73.
temporal logic
74.
computer
75.
computer aided design
76.
computer aided diagnosis
77.
computer aided diagnostics
78.
computer aided instruction
79.
computer aided manufacturing
80.
computer aided testing
81.
computer algebra
82.
computer algebra system
83.
computer and education
84.
computer anxiety
85.
computer architecture
86.
computer assisted language learning
87.
computer based learning
88.
computer circuits
89.
computer control
90.
computer education
91.
computer engineering
92.
computer engineerng
93.
computer game
94.
computer graphics
95.
computer hardware
96.
computer integrated manufacturing
97.
computer network management
98.
computer network operations
99.
computer networks
100.
computer pipelines
101.
computer programming
102.
computer programs
103.
computer security
104.
computer simulation
105.
computer simulation environments
106.
computer simulations
107.
computer software
108.
computer softwaregraph theory
109.
computer systems
110.
computer terminals
111.
computer vision
112.
computer workers
113.
computer-aided anthropometry
114.
computer-aided architectural design (CAAD)
115.
computer‐aided assessment
116.
computer-aided design
117.
computer-aided detection
118.
computer‐aided detection
119.
computer-aided diagnosis
120.
computer-aided drawing (CAD)
121.
computer-aided engineering
122.
computer-aided teaching
123.
Computer-Aided Tuning
124.
computer-aided tuning (CAT)
125.
computer-assisted language learning (CALL)
126.
computer-oriented technologies
127.
computer-supported decision-making
128.
computer-use
129.
control engineering computer applications
130.
distributed computer systems
131.
education in computer engineering
132.
fifth generation computer
133.
gateways (computer networks)
134.
high-performance computer systems
135.
human computer interaction
136.
human computer interaction (HCI)
137.
human-computer interaction
138.
Human-Computer Interaction (HCI)
139.
interactive computer graphics
140.
laptop computer
141.
single board computer
142.
structure computer analysis
143.
ubiquitous computer technology
144.
Web and computer-based learning
145.
applied science
146.
chemistry and philosophy of science
147.
citizen science
148.
classical exact science
149.
computational social science
150.
data science
151.
data-science
152.
design science
153.
design science research
154.
design-science
155.
energy science and technology
156.
engineering pedagogy science
157.
environmental science
158.
ethics of science
159.
exact science
160.
food science
161.
materials science
162.
NATO. Science for Peace and Security Program
163.
non-classical exact science
164.
philosophy of science
165.
physics and philosophy of science
166.
planetary science
167.
political science
168.
popular science literature
169.
post normal science
170.
post-normal science
171.
Q science
172.
science
173.
science advisors
174.
science and arts
175.
science and technology libraries
176.
science fiction
177.
science gateway
178.
science integration
179.
science mapping
180.
science policy
181.
science technology innovation
182.
Science, Technology and Innovation Policy
183.
science-based industries
184.
science-policy-society interface
185.
Social Science
186.
social science methodology
187.
sustainability science
188.
transdisciplinary science
189.
Web of Science
190.
World Academy of Art and Science (WAAS)
191.
ȹ-science
192.
φ-science
193.
ϕ-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