Algebraic and logical descriptions of generalized trees
Quasi-trees generalize trees in that the unique "path" between two nodes may be infinite and have any countable order type. They are used to define the rank-width of a countable graph in such a way that it is equal to the least upper-bound of the rank-widths of its finite induced subgraphs...
| Published in: | Logical Methods in Computer Science |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | English |
| Published: |
Logical Methods in Computer Science e.V.
2017-07-01
|
| Subjects: | |
| Online Access: | https://lmcs.episciences.org/2050/pdf |