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
quantitative logic (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
1
Look more..
(1/89)
Export
export all inquiry results
(1)
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
Combining algebraic effect descriptions using the tensor of complete lattices
Voorneveld, Niels
Electronic notes in theoretical computer science
2020
/
p. 257-281
https://doi.org/10.1016/j.entcs.2020.09.013
Journal metrics at Scopus
Article at Scopus
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
89
1.
quantitative logic
2.
logic and philosophy of logic
3.
absolute quantitative proteomics
4.
current state capability quantitative estimates
5.
qualitative and quantitative analysis
6.
quantitative
7.
quantitative analysis
8.
quantitative and qualitative criteria
9.
quantitative association rule mining
10.
quantitative chemical analysis
11.
quantitative easing
12.
quantitative land cover reconstructions
13.
quantitative lignin determination
14.
quantitative metal analysis
15.
quantitative method
16.
quantitative proteomics
17.
quantitative risk analysis
18.
quantitative security
19.
quantitative stratigraphy
20.
quantitative XRD analysis
21.
semi-quantitative risk assessment method
22.
algebra of logic
23.
binary logic controller
24.
Boolean logic
25.
default logic
26.
diagrammatic logic
27.
digital logic
28.
dynamic logic
29.
epistemic logic
30.
formal logic
31.
fuzzy logic
32.
fuzzy logic
33.
fuzzy logic control
34.
fuzzy logic controller
35.
fuzzy logic controller (FLC)
36.
fuzzy logic model
37.
graphical method of logic
38.
history of logic
39.
Hoare logic
40.
Husserl and Pierce on logic of probability
41.
independence-friendly logic
42.
intuitionistic logic
43.
linear logic
44.
logic
45.
logic built-in self-test
46.
logic cell library
47.
logic circuit
48.
logic design
49.
logic diagram
50.
logic diagrams
51.
logic education
52.
logic for pragmatics
53.
logic gates
54.
logic in computer science
55.
logic in society
56.
logic level
57.
logic level and high level BDDs
58.
logic locking
59.
logic models
60.
logic models and simulation
61.
logic notation
62.
logic obfuscation
63.
logic of bunched implications
64.
logic of relatives
65.
logic of speech acts
66.
logic simulation
67.
logic synthesis
68.
logic teaching
69.
logic-based distributed routing
70.
malicious logic
71.
mathematical logic
72.
modal logic
73.
Natural logic
74.
Peirce's existential graphs and transcendental logic
75.
philosophical logic
76.
philosophy of logic
77.
pragmatic logic
78.
programmable logic
79.
quantum logic
80.
race logic
81.
reconfigurable logic
82.
routing logic
83.
S4 modal logic
84.
S-D logic
85.
Service-Dominant logic
86.
stateful logic computation
87.
symbolic knowledge in Husserlian pure logic
88.
symbolic logic
89.
temporal logic
×
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