First-order aspects of tree paths

DOI10.1093/JIGPAL/JZV026MaRDI QIDQ4644528zbMATH OpenOpenAlexFDO

Authors Ruaan Kellerman

Publication date 8 January 2019

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/e874555d7733049e7a14e34170dbdb571dfd5215

zbMATH Keywords

treefirst-order logicdefinabilitypath

Mathematics Subject Classification ID

Permutations, words, matrices (05A05) Classical first-order logic (03B10) Properties of classes of models (03C52) Models of other mathematical theories (03C65)

Recommendations

• First-order logic on finite trees
• Classes and theories of trees associated with a class of linear orders
• scientific article; zbMATH DE number 4051033
• Database Theory - ICDT 2005
• First-order properties of trees, star-free expressions, and aperiodicity

Cited in

(6)

• Tree-Width for First Order Formulae
• Database Theory - ICDT 2005
• Classes and theories of trees associated with a class of linear orders
• First-order properties of trees, star-free expressions, and aperiodicity
• First-order theories of bounded trees
• scientific article; zbMATH DE number 4051033 (Why is no real title available?)

This page was built for publication: First-order aspects of tree paths

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644528)