Computing knowledge in equational extensions of subterm convergent theories (Q5139279)
From MaRDI portal
scientific article; zbMATH DE number 7283033
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing knowledge in equational extensions of subterm convergent theories |
scientific article; zbMATH DE number 7283033 |
Statements
Computing knowledge in equational extensions of subterm convergent theories (English)
0 references
8 December 2020
0 references
equational theories
0 references
decision procedures
0 references
security protocols
0 references
deduction
0 references
static equivalence
0 references
0 references
