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