Toggle navigation
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Publications
Profiles
Research Groups
Indexes
Help and information
Eesti keeles
Intranet
Databases
Publications
Advanced search
My bookmarks
0
logic in computer science (keyword)
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
All fields
Source search
Author search
Subject term search
Title search
source
author
DOI
year of publication
location of publication
supervisor
category
publisher
classifier
conference location
quartile
availibility
subject term
title
series
name of the person
TTÜ subject term
TTÜ department
url
keyword
All fields
author
co-contibutor
commentator
compiler
corporate author
editor
expert
interviewer
supervisor
translator
series variant title
title
translation of title
variant title
source
special issue
name of the institution
subject of form
subject of location
subject of time
subject term
series
series variant title
availibility
Open Access
category (general)
category (sub)
starts with
containes
exact match
—
Add criteria
Simple search
filter
Clear
×
types of item
book
..
journal article
..
newspaper article
..
book article
..
dissertation
..
Open Access
..
Scientific publication
..
year
year of publication
Loading..
author
Loading..
TTÜ department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(3/199)
Export
export all inquiry results
(3)
Save TXT fail
Save PDF fail
print
Open for editing with marked entries
my bookmarks
display
Bibliographic view
Short view
sort
author ascending
author descending
year of publication ascending
year of publication descending
title ascending
title descending
1
journal article
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 article
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 programs
Bortin, Maksym
arXiv.org
2020
/
57 p
https://arxiv.org/abs/2007.02261
https://doi.org/10.48550/arXiv.2007.02261
journal article
3
journal article
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 article
Seotud publikatsioonid
1
Monoidal width = Monoidiline laius
Number of records 3, displaying
1 - 3
keyword
192
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 (CAT)
124.
computer-assisted language learning (CALL)
125.
computer-oriented technologies
126.
computer-supported decision-making
127.
computer-use
128.
control engineering computer applications
129.
distributed computer systems
130.
education in computer engineering
131.
fifth generation computer
132.
gateways (computer networks)
133.
high-performance computer systems
134.
human computer interaction
135.
human computer interaction (HCI)
136.
human-computer interaction
137.
Human-Computer Interaction (HCI)
138.
interactive computer graphics
139.
laptop computer
140.
single board computer
141.
structure computer analysis
142.
ubiquitous computer technology
143.
Web and computer-based learning
144.
applied science
145.
chemistry and philosophy of science
146.
citizen science
147.
classical exact science
148.
computational social science
149.
data science
150.
data-science
151.
design science
152.
design science research
153.
design-science
154.
energy science and technology
155.
engineering pedagogy science
156.
environmental science
157.
ethics of science
158.
exact science
159.
food science
160.
materials science
161.
NATO. Science for Peace and Security Program
162.
non-classical exact science
163.
philosophy of science
164.
physics and philosophy of science
165.
planetary science
166.
political science
167.
popular science literature
168.
post normal science
169.
post-normal science
170.
Q science
171.
science
172.
science advisors
173.
science and arts
174.
science and technology libraries
175.
science fiction
176.
science gateway
177.
science integration
178.
science mapping
179.
science policy
180.
science technology innovation
181.
Science, Technology and Innovation Policy
182.
science-based industries
183.
science-policy-society interface
184.
Social Science
185.
social science methodology
186.
sustainability science
187.
transdisciplinary science
188.
Web of Science
189.
World Academy of Art and Science (WAAS)
190.
ȹ-science
191.
φ-science
192.
ϕ-science
subject term
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
author
1
1.
Department of Software Science, Tallinn University of Technology
×
vaste
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TTÜ department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TTÜ department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT