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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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
TalTech subject term
TalTech 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 publications
..
year
year of publication
Loading..
author
Loading..
TalTech department
Loading..
subject term
Loading..
series
Loading..
name of the person
Loading..
keyword
Loading..
Clear
Number of records
3
Look more..
(4/221)
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 EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
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 EST
/
journal article 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
journal article EST
/
journal article ENG
Related publications
1
Monoidal width = Monoidiline laius
Number of records 3, displaying
1 - 3
keyword
211
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.
constructive logic
10.
default logic
11.
diagrammatic logic
12.
digital logic
13.
dynamic logic
14.
epistemic logic
15.
ethics and logic
16.
formal logic
17.
fuzzy logic
18.
fuzzy logic
19.
fuzzy logic control
20.
fuzzy logic controller
21.
fuzzy logic controller (FLC)
22.
fuzzy logic model
23.
graphical method of logic
24.
history of logic
25.
Hoare logic
26.
Husserl and Pierce on logic of probability
27.
independence-friendly logic
28.
intuitionistic logic
29.
linear logic
30.
logic
31.
logic built-in self-test
32.
logic cell library
33.
logic circuit
34.
logic design
35.
logic diagram
36.
logic diagrams
37.
logic education
38.
logic for pragmatics
39.
logic gates
40.
logic in society
41.
logic level
42.
logic level and high level BDDs
43.
logic locking
44.
logic models
45.
logic models and simulation
46.
logic notation
47.
logic obfuscation
48.
logic of bunched implications
49.
logic of relatives
50.
logic of speech acts
51.
logic simulation
52.
logic synthesis
53.
logic teaching
54.
logic-based distributed routing
55.
malicious logic
56.
mathematical logic
57.
modal logic
58.
Natural logic
59.
Peirce's existential graphs and transcendental logic
60.
philosophical logic
61.
philosophy of logic
62.
pragmatic logic
63.
probabilistic relational program logic
64.
programmable logic
65.
programmable logic controller (PLC)
66.
quantitative logic
67.
quantum logic
68.
race logic
69.
reconfigurable logic
70.
routing logic
71.
S4 modal logic
72.
S-D logic
73.
Service-Dominant logic
74.
stateful logic computation
75.
substructural logic
76.
symbolic knowledge in Husserlian pure logic
77.
symbolic logic
78.
temporal logic
79.
computer
80.
computer aided design
81.
computer aided diagnosis
82.
computer aided diagnostics
83.
computer aided instruction
84.
computer aided language translation
85.
computer aided manufacturing
86.
computer aided testing
87.
computer algebra
88.
computer algebra system
89.
computer and education
90.
computer anxiety
91.
computer architecture
92.
computer assisted language learning
93.
computer based learning
94.
computer circuits
95.
computer control
96.
Computer crime
97.
computer education
98.
computer engineering
99.
computer engineerng
100.
computer game
101.
computer graphics
102.
computer hardware
103.
computer integrated manufacturing
104.
computer network management
105.
computer network operations
106.
computer networks
107.
computer pipelines
108.
computer programming
109.
computer programming languages
110.
computer programs
111.
computer security
112.
computer simulation
113.
computer simulation environments
114.
computer simulations
115.
computer software
116.
computer softwaregraph theory
117.
computer systems
118.
Computer systems organization
119.
computer terminals
120.
computer vision
121.
computer workers
122.
computer-aided anthropometry
123.
computer-aided architectural design (CAAD)
124.
computer‐aided assessment
125.
computer-aided design
126.
computer-aided design (CAD)
127.
computer-aided detection
128.
computer‐aided detection
129.
computer-aided diagnosis
130.
computer-aided drawing (CAD)
131.
computer-aided engineering
132.
computer-aided teaching
133.
Computer-Aided Tuning
134.
computer-aided tuning (CAT)
135.
computer-assisted language learning (CALL)
136.
computer-oriented technologies
137.
computer-supported decision-making
138.
computer-use
139.
control engineering computer applications
140.
distributed computer systems
141.
education in computer engineering
142.
fifth generation computer
143.
gateways (computer networks)
144.
high-performance computer systems
145.
human computer interaction
146.
human computer interaction (HCI)
147.
human-computer interaction
148.
Human-Computer Interaction (HCI)
149.
human-computer trust
150.
interactive computer graphics
151.
laptop computer
152.
single board computer
153.
single-board computer
154.
structure computer analysis
155.
ubiquitous computer technology
156.
Web and computer-based learning
157.
applied science
158.
big data science
159.
chemistry and philosophy of science
160.
citizen science
161.
citizen science hub
162.
classical exact science
163.
computational social science
164.
data science
165.
data-science
166.
design science
167.
design science research
168.
design-science
169.
energy science and technology
170.
engineering pedagogy science
171.
environmental science
172.
ethics of science
173.
exact science
174.
food science
175.
forensic science
176.
materials science
177.
NATO. Science for Peace and Security Program
178.
non-classical exact science
179.
philosophy of science
180.
physics and philosophy of science
181.
planetary science
182.
political science
183.
popular science literature
184.
post normal science
185.
post-normal science
186.
Q science
187.
science
188.
science advisors
189.
science and arts
190.
science and technology libraries
191.
science and technology parks
192.
science fiction
193.
science gateway
194.
science integration
195.
science mapping
196.
science policy
197.
science technology innovation
198.
Science, Technology and Innovation Policy
199.
science-based industries
200.
science-driven models
201.
science-policy-society interface
202.
Social Science
203.
social science methodology
204.
sustainability science
205.
Thomson Reuters Web of Science
206.
transdisciplinary science
207.
Web of Science
208.
World Academy of Art and Science (WAAS)
209.
ȹ-science
210.
φ-science
211.
ϕ-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
TalTech department
3
1.
Department of Computer Systems
2.
Department of Software Science
3.
School of Science
author
1
1.
Department of Software Science, Tallinn University of Technology
×
match
starts with
ends with
containes
sort
Relevance
ascending
descending
year of publication
author
TalTech department
subject term
series
name of the person
keyword
Otsing
Valikud
0
year of publication
AND
OR
NOT
author
AND
OR
NOT
TalTech department
AND
OR
NOT
subject term
AND
OR
NOT
series
AND
OR
NOT
name of the person
AND
OR
NOT
keyword
AND
OR
NOT