Equational and membership constraints for infinite trees (Q5055789)
From MaRDI portal
scientific article; zbMATH DE number 7631202
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Equational and membership constraints for infinite trees |
scientific article; zbMATH DE number 7631202 |
Statements
Equational and membership constraints for infinite trees (English)
0 references
9 December 2022
0 references
