Probabilistic logic over equations and domain restrictions (Q5377701)
From MaRDI portal
scientific article; zbMATH DE number 7059224
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic logic over equations and domain restrictions |
scientific article; zbMATH DE number 7059224 |
Statements
Probabilistic logic over equations and domain restrictions (English)
0 references
27 May 2019
0 references
probabilistic logic
0 references
equational logic
0 references
satisfiability problem
0 references
offfline guessing attacks
0 references
