Pages that link to "Item:Q1023296"

The following pages link to Definability in the \(h\)-quasiorder of labeled forests (Q1023296):

Displaying 14 items.

• Definability in the structure of words with the inclusion relation (Q606049) (← links)
• Definability of closure operations in the \(h\)-quasiorder of labeled forests (Q619316) (← links)
• Descriptive complexity of \(\mathsf{qc} \mathsf{b}_0\)-spaces (Q2682909) (← links)
• Alternating complexity of counting first-order logic for the subword order (Q2687036) (← links)
• Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
• The quotient algebra of labeled forests modulo h-equivalence (Q3546077) (← links)
• A Gandy Theorem for Abstract Structures and Applications to First-Order Definability (Q3576061) (← links)
• Definability in the Infix Order on Words (Q3637247) (← links)
• (Q5089232) (← links)
• Definability in the Homomorphic Quasiorder of Finite Labeled Forests (Q5425345) (← links)
• Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests (Q5441125) (← links)
• Wadge-like reducibilities on arbitrary quasi-Polish spaces (Q5740679) (← links)
• Logical Approaches to Computational Barriers (Q5898827) (← links)
• On the main scientific achievements of Victor Selivanov (Q6146819) (← links)