Accessible telephone directories (Q4292595)
From MaRDI portal
scientific article; zbMATH DE number 569554
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Accessible telephone directories |
scientific article; zbMATH DE number 569554 |
Statements
Accessible telephone directories (English)
0 references
22 January 1995
0 references
computation over arbitrary structures
0 references
quantifier-elimination
0 references
