The following pages link to (Q4273669):
Displaying 12 items.
- Axiomatising tree-interpretable structures (Q705058) (← links)
- Metalinear recursive schemas on marked trees (Q797277) (← links)
- Semantic trees for Dummett's logic LC (Q1092036) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)
- Pseudo-trees and Boolean algebras (Q1198482) (← links)
- Trees and semantics (Q1391740) (← links)
- Beyond representing orthology relations by trees (Q1702121) (← links)
- Trees, band monoids and formal languages (Q1910641) (← links)
- Nested semantics over finite trees are equationally hard (invited talk) (Q2847402) (← links)
- Algebraic templates of \(\omega\)-trees, similarity and templates generated by semantic schemas (Q2893654) (← links)
- Trees in Concept Lattices (Q3603429) (← links)
- Semantics of trees (Q4285625) (← links)