scientific article; zbMATH DE number 6790144

DOI10.23638/LMCS-13(3:7)2017zbMath1459.03007arXiv1609.09675MaRDI QIDQ5367045

No author found.

Publication date: 12 October 2017

Full work available at URL: https://arxiv.org/abs/1609.09675

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

monadic second-order logicalgebraquasi-treerank-widthordered treeregular term

Mathematics Subject Classification ID

Trees (05C05) Structural characterization of families of graphs (05C75) Higher-order logic (03B16)

Related Items (5)

Induced betweenness in order-theoretic trees ⋮ Order-theoretic Trees: Monadic Second-order Descriptions and Regularity ⋮ Betweenness in Order-Theoretic Trees ⋮ Unnamed Item ⋮ Betweenness of partial orders

This page was built for publication: