Decision problem for separated distributive lattices (Q4745812)
From MaRDI portal
scientific article; zbMATH DE number 3801518
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decision problem for separated distributive lattices |
scientific article; zbMATH DE number 3801518 |
Statements
Decision problem for separated distributive lattices (English)
0 references
1983
0 references
lattice of recursively enumerable sets
0 references
first order theory of Boolean pairs
0 references
monadic theory of finite trees
0 references
