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
Logical investigations on assertion and denial (title)
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 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
1
Look more..
(1/36)
Export
export all inquiry results
(1)
Save TXT 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
Logical investigations on assertion and denial
Carrara, Massimiliano
;
Chiffi, Daniele
;
De Florio, Ciro
Journal of applied logic
2017
/
p. S1-S2
https://doi.org/10.1016/j.jal.2017.11.003
Journal metrics at Scopus
Article at Scopus
Journal metrics at WOS
Article at WOS
journal article EST
/
journal article ENG
Number of records 1, displaying
1 - 1
keyword
36
1.
verification, assertion-based verification, automatic assertion mining, data mining, association rule mining
2.
denial
3.
Denial of Service (DoS) attack
4.
denial of service attacks
5.
assertion
6.
assertion candidate
7.
assertion checkers
8.
Assertion Minimization
9.
Assertion Mining
10.
assertion qualification
11.
assertion sign
12.
assertion-based verification
13.
automatic assertion mining
14.
Husserl on inclusion and assertion
15.
Peirce on inclusion and assertion
16.
Security Assertion
17.
Security Assertion Mining
18.
sheet of assertion
19.
classical vs. non-classical logical graphs
20.
logical analysis
21.
logical construction and phenomenological reduction
22.
logical critics
23.
logical de-rating
24.
logical distances
25.
logical form
26.
logical graphs
27.
logical node
28.
Logical notations
29.
logical octagon
30.
logical opposition
31.
logical reasoning
32.
logical relations
33.
logical schema
34.
cybercrime investigations
35.
investigations/inquiries
36.
SEM investigations
×
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