STRONG JUMP-TRACEABILITY (Q4580033)
From MaRDI portal
scientific article; zbMATH DE number 6916705
Language | Label | Description | Also known as |
---|---|---|---|
English | STRONG JUMP-TRACEABILITY |
scientific article; zbMATH DE number 6916705 |
Statements
STRONG JUMP-TRACEABILITY (English)
0 references
13 August 2018
0 references
strong jump-traceability
0 references
\(K\)-trivial
0 references